rust/compiler/rustc_hir_analysis
Matthias Krüger b0b54f2f8b
Rollup merge of #135055 - compiler-errors:rpitit-infer-in-stricter-impl, r=estebank
Report impl method has stricter requirements even when RPITIT inference gets in the way

See the comment I added in the code. Fixes #122506.
2025-01-04 09:54:38 +01:00
..

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