d902752866
Stability annotations on generic parameters (take 2.5) Rebase of #72314 + more tests Implements rust-lang/wg-allocators#2.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.