When a type that has a disabled default constructor is used in std.typecons.Typedef, it's possible to create an uninitialized instance of the type, since Typedef doesn't disable its constructor:
unittest {
import std.typecons : Typedef;
struct S {
@disable this();
}
//S s1; // Fails horribly.
Typedef!S s1; // Compiles without issue.
}