This will work only for `@safe nothrow pure this()`, but not for `this() @safe nothrow pure` since it's part of the `TypeFunction` then.