rust/compiler/rustc_hir_analysis/src
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
..
astconv Make it clearer that edition functions are >=, not == 2023-07-19 16:38:35 +00:00
check Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr 2023-07-25 23:34:07 +02:00
coherence fix clippy::useless_format 2023-07-23 11:14:52 +02:00
collect Remove Scope::Elision. 2023-07-22 08:32:53 +00:00
impl_wf_check refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
outlives refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
structured_errors Re-format let-else per rustfmt update 2023-07-12 21:49:27 -04:00
variance Rename arg_iter to iter_instantiated 2023-07-17 21:04:12 +00:00
autoderef.rs Move TyCtxt::mk_x to Ty::new_x where applicable 2023-07-05 20:27:07 +01:00
bounds.rs Fully fledged Clause type 2023-06-19 15:46:08 +00:00
check_unused.rs Querify unused trait check. 2023-07-16 21:51:00 +00:00
collect.rs refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
constrained_generic_params.rs Migrate predicates_of and caller_bounds to Clause 2023-06-26 23:12:03 +00:00
errors.rs Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-07-07 13:13:18 +00:00
hir_wf_check.rs s/Clause/ClauseKind 2023-06-19 14:57:42 +00:00
impl_wf_check.rs refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
lib.rs Querify unused trait check. 2023-07-16 21:51:00 +00:00
structured_errors.rs rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00