diff options
| author | bors <bors@rust-lang.org> | 2024-03-20 02:36:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-20 02:36:37 +0000 |
| commit | b7dcabe55e3b915ba9488dc374f752404c2c8945 (patch) | |
| tree | 6fd536922e65b214c266139906b44bfbe378f044 /compiler/rustc_expand/src | |
| parent | a77c20c4b987e74eb1a867d21d1edb8035a11660 (diff) | |
| parent | b1575b71d48a6452d2ff65b5fbb63858388b925b (diff) | |
| download | rust-b7dcabe55e3b915ba9488dc374f752404c2c8945.tar.gz rust-b7dcabe55e3b915ba9488dc374f752404c2c8945.zip | |
Auto merge of #122119 - estebank:issue-117846, r=Nadrieril
Silence unecessary !Sized binding error
When gathering locals, we introduce a `Sized` obligation for each
binding in the pattern. *After* doing so, we typecheck the init
expression. If this has a type failure, we store `{type error}`, for
both the expression and the pattern. But later we store an inference
variable for the pattern.
We now avoid any override of an existing type on a hir node when they've
already been marked as `{type error}`, and on E0277, when it comes from
`VariableType` we silence the error in support of the type error.
Fix https://github.com/rust-lang/rust/issues/117846
Diffstat (limited to 'compiler/rustc_expand/src')
0 files changed, 0 insertions, 0 deletions
