rust/compiler/rustc_hir_analysis
Oli Scherer e2349ea2e1 A trait's local impls are trivially coherent if there are no impls.
This avoids creating a dependency edge on the hir or the specialization graph
2024-02-09 09:33:56 +00:00
..
2024-02-05 21:08:47 +00:00

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