about summary refs log tree commit diff
path: root/compiler/rustc_expand/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-03-20 02:36:37 +0000
committerbors <bors@rust-lang.org>2024-03-20 02:36:37 +0000
commitb7dcabe55e3b915ba9488dc374f752404c2c8945 (patch)
tree6fd536922e65b214c266139906b44bfbe378f044 /compiler/rustc_expand/src
parenta77c20c4b987e74eb1a867d21d1edb8035a11660 (diff)
parentb1575b71d48a6452d2ff65b5fbb63858388b925b (diff)
downloadrust-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