rust/compiler/rustc_hir_analysis
Dylan DPC 80df4ab403
Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk
Implement negative bounds for internal testing purposes

Implements partial support the `!` negative polarity on trait bounds. This is incomplete, but should allow us to at least be able to play with the feature.

Not even gonna consider them as a public-facing feature, but I'm implementing them because would've been nice to have in UI tests, for example in #110671.
2023-05-04 00:17:23 +05:30
..
src Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk 2023-05-04 00:17:23 +05:30
Cargo.toml drop unused deps, gate libc under unix for one crate 2023-04-22 15:22:21 +03:00
messages.ftl Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwU 2023-05-02 11:44:50 +05:30
README.md rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00

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