about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-07-08 15:49:47 +0200
committerGitHub <noreply@github.com>2023-07-08 15:49:47 +0200
commit8dc9461c91b84521933ad7e93fc79ce1d28d6491 (patch)
treefd69541ee88de185ee51ef8e4026632caf246aaf /compiler/rustc_ty_utils/src
parentd5b1ef98b07ebdf41b9c6ec50252d51ed206c795 (diff)
parent906d2b172c936674b8fbf727c556e5b41df86ef1 (diff)
downloadrust-8dc9461c91b84521933ad7e93fc79ce1d28d6491.tar.gz
rust-8dc9461c91b84521933ad7e93fc79ce1d28d6491.zip
Rollup merge of #113399 - compiler-errors:next-solver-byte-pat-again, r=oli-obk
Structurally normalize again for byte string lit pat checking

We need to structurally normalize the pointee of a match scrutinee when trying to match byte string patterns -- we used[^1] to call `structurally_resolve_type`, which errors for type vars[^2], but lcnr added `try_structurally_resolve_type`[^3] in the mean time, which is the right thing to use here since it's totally opportunistic.

Fixes rust-lang/trait-system-refactor-initiative#38

[^1]: #112428
[^2]: #112993
[^3]: #113086
Diffstat (limited to 'compiler/rustc_ty_utils/src')
0 files changed, 0 insertions, 0 deletions