mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-07 17:18:32 +03:00
0312935473
Use `ObligationCtxt` in `fully_normalize` Simplifies the implementation a bit