rust/compiler/rustc_hir_analysis/src
Matthias Krüger 8daa317a4b
Rollup merge of #117416 - compiler-errors:tait-in-bad-body, r=oli-obk
Also consider TAIT to be uncomputable if the MIR body is tainted

Not totally sure if this is the best solution. We could, alternatively, look at the hir typeck results and try to take a type from there instead of just falling back to type error, inferring `u8` instead of `{type error}`. Not certain it really matters, though.

Happy to iterate on this.

Fixes #117413

r? ``@oli-obk`` cc ``@Nadrieril``
2023-10-31 12:55:09 +01:00
..
astconv Auto merge of #116405 - estebank:issue-103155, r=davidtwco 2023-10-30 22:47:48 +00:00
check Poison check_well_formed if method receivers are invalid to prevent typeck from running on it 2023-10-30 16:11:52 +00:00
coherence Migrate diagnostics in rustc_hir_analysis/src/coherence/orphan.rs 2023-10-24 14:46:13 +03:00
collect Also consider TAIT to be uncomputable if the MIR body is tainted 2023-10-30 20:16:22 +00:00
impl_wf_check Format all the let chains in compiler 2023-10-13 08:59:36 +00:00
outlives refactor(rustc_middle): Substs -> GenericArg 2023-07-14 13:27:35 +01:00
structured_errors Rollup merge of #116553 - gurry:116464-assoc-type-invalid-suggestion, r=compiler-errors 2023-10-25 23:37:09 +02:00
variance s/Generator/Coroutine/ 2023-10-20 21:10:38 +00:00
autoderef.rs Structurally normalize weak and inherent too 2023-08-07 19:05:59 +00:00
bounds.rs Don't compare host param by name 2023-10-18 02:38:54 +00:00
check_unused.rs inline format!() args from rustc_codegen_llvm to the end (4) 2023-07-25 23:20:28 +02:00
collect.rs Let's see what those opaque types actually are 2023-10-23 16:18:35 -04:00
constrained_generic_params.rs Opaques do not constrain generic params 2023-08-12 17:14:13 +00:00
errors.rs Improve some diagnostics around ?Trait bounds 2023-10-30 17:47:07 +00:00
hir_wf_check.rs Lower generic const items to HIR 2023-07-28 22:21:40 +02:00
impl_wf_check.rs Use {Local}ModDefId in many queries 2023-08-14 07:22:48 +00:00
lib.rs Auto merge of #117180 - matthiaskrgr:rollup-rxhl6ep, r=matthiaskrgr 2023-10-25 19:29:58 +00:00
structured_errors.rs