about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-07-21 19:43:21 +0000
committerbors <bors@rust-lang.org>2022-07-21 19:43:21 +0000
commit62b272d25c5bb8b6bb8ac73797d82b8b9a1eabda (patch)
tree6b2810a6c553461f1e65eab6fb007e0fd533e94e /compiler/rustc_codegen_llvm/src
parentaf7ab3447079fddc51c6c7749b160d24769f7c16 (diff)
parent43ccacf89b704f74e3ff61ba015c0dddcedfe068 (diff)
downloadrust-62b272d25c5bb8b6bb8ac73797d82b8b9a1eabda.tar.gz
rust-62b272d25c5bb8b6bb8ac73797d82b8b9a1eabda.zip
Auto merge of #99501 - lcnr:check-regions-infcx, r=oli-obk
move `considering_regions` to the infcx

it seems weird to prove some obligations which constrain inference vars while ignoring regions  in a context which considers regions. This is especially weird because even for a fulfillment context with ignored regions, we still added region outlives bounds when directly relating regions.

tbh our handling of regions is still very weird, but at least this is a step in the right direction imo.

r? rust-lang/types
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions