rust/compiler/rustc_hir_analysis
Rémy Rakic 500d454ba0 check binders with bound vars for global bounds that don't hold
(instead of just late bound vars)

(cherry picked from commit 2beca157c96329da93320de83bdb7192bf02fa96)
2023-11-09 11:47:18 -08:00
..

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