rust/compiler/rustc_hir_analysis
bors 02c7b1a7ac Auto merge of #146491 - jdonszelmann:update-fixme-compare_method_predicate_entailment, r=lcnr
update fixme in compare_method_predicate_entailment resulting from review of EII

r? `@lcnr`

Just the comment update separately from https://github.com/rust-lang/rust/pull/146348/files since it doesn't really belong in that PR. Should be trivial
2025-09-13 19:39:05 +00:00
..

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