mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
0081d64e4b
rust/compiler/rustc_hir_analysis
History
Matthias Krüger 0b13deb548
Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr 
Double check that hidden types match the expected hidden type

Fixes https://github.com/rust-lang/rust/issues/113278 specifically, but I left a TODO for where we should also add some hardening.

It feels a bit like papering over the issue, but at least this way we don't get unsoundness, but just surprising errors. Errors will be improved and given spans before this PR lands.

r? `@compiler-errors` `@lcnr`
2023-07-25 23:34:07 +02:00
..
src Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr 2023-07-25 23:34:07 +02:00
Cargo.toml
messages.ftl Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-07-07 13:13:18 +00:00
README.md

README.md

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