rust/compiler/rustc_typeck
bors 1d34cb4efc Auto merge of #89550 - lcnr:coherence-specialization, r=nikomatsakis
do not emit overlap errors for impls failing the orphan check

this should finally allow us to merge #86986, see https://github.com/rust-lang/rust/pull/86986#discussion_r716059345 for more details.

r? `@nikomatsakis` cc `@eddyb`
2021-11-11 05:47:37 +00:00
..
src Auto merge of #89550 - lcnr:coherence-specialization, r=nikomatsakis 2021-11-11 05:47:37 +00:00
Cargo.toml Migrate to 2021 2021-09-20 22:21:42 -04:00
README.md

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