diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-10-31 12:55:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-31 12:55:09 +0100 |
| commit | 8daa317a4bdaaa9b3a379eb1a9f71510c0fbca69 (patch) | |
| tree | c0d4fda6554cba83e565180a54d3dd2a9b9ee16d /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 7035c3d7182562824fd265b8afb7f9db55c7a03f (diff) | |
| parent | 48491c182be06aad6db5edfd60bdcab0917cb79d (diff) | |
| download | rust-8daa317a4bdaaa9b3a379eb1a9f71510c0fbca69.tar.gz rust-8daa317a4bdaaa9b3a379eb1a9f71510c0fbca69.zip | |
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``
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions