squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity
rust/compiler/rustc_typeck
History
bors 229d0a9412 Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obk 
Tweak assoc type obligation spans

* Point at RHS of associated type in obligation span
* Point at `impl` assoc type on projection error
* Reduce verbosity of recursive obligations
* Point at source of binding lifetime obligation
* Tweak "required bound" note
* Tweak "expected... found opaque (return) type" labels
* Point at set type in impl assoc type WF errors

r? `@oli-obk`

This is a(n uncontroversial) subset of #85799.
2021-12-11 21:57:19 +00:00
..
src Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obk 2021-12-11 21:57:19 +00:00
Cargo.toml Migrate to 2021 2021-09-20 22:21:42 -04:00
README.md mv compiler to compiler/ 2020-08-30 18:45:07 +03:00

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.