009d72b3ae
Add `lazy_type_alias` feature gate Add the `type_alias_type` to be able to have the weak alias used without restrictions. Part of #112792. cc `@compiler-errors` r? `@oli-obk`
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.