Debugging techniques

The constructor of this class has an assertion that throws an error if the argument is null.

class Animal {
    private String name;

    Animal(String name) {
        _____________________ : "Name must not be null";
        this.name = name;
    }
}

Fill in the missing part of code.