about summary refs log tree commit diff
path: root/library/std/src
diff options
context:
space:
mode:
author许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com>2025-03-05 21:46:39 +0800
committerGitHub <noreply@github.com>2025-03-05 21:46:39 +0800
commit5df9a9f45ce637e820c0e995af3fdda6da5ab01b (patch)
tree44726102d331e261f8be02ae3a0afb43480f981d /library/std/src
parent4f1a0479a72da2e8f2dac4c808c611c7cf1134e8 (diff)
parent0baee2432a435fc587d458b7f7d0c19d7c239589 (diff)
downloadrust-5df9a9f45ce637e820c0e995af3fdda6da5ab01b.tar.gz
rust-5df9a9f45ce637e820c0e995af3fdda6da5ab01b.zip
Rollup merge of #137298 - compiler-errors:mir-wf, r=lcnr
Check signature WF when lowering MIR body

Alternative to #137233.

https://github.com/rust-lang/rust/pull/137233#issuecomment-2667879143

Fixes https://github.com/rust-lang/rust/issues/137186

We do this check in `mir_drops_elaborated_and_const_checked` and not during `mir_promoted` because that may result in borrowck cycles if WF requires looking into an opaque hidden type. This causes some TAIT tests to fail unnecessarily.

r? lcnr

try-job: test-various
Diffstat (limited to 'library/std/src')
0 files changed, 0 insertions, 0 deletions