Remember that Exists is the super-type of everything and that Any is the super-type of everything but void. And local variables are default initialized out of the box.
public static default => T{ local T rtn; return(rtn);}public static factory => T{ return(default);}public static main()=>void{ default<void>; print default<int>; print default<decimal>; print default; print factory<int>; //factory; // error as expected.}