diff options
| author | liudingming <liudingming@bytedance.com> | 2021-08-09 20:25:57 +0800 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2021-08-23 19:16:16 +0000 |
| commit | e8910440a24ecb2ddb08b4dbe170488ddf61fc87 (patch) | |
| tree | 7b574ec36f695dd6346584fcb7850cafbbc98794 /src/test/mir-opt/lower_array_len.array_bound_mut.SimplifyLocals.diff | |
| parent | b6e334d87349502766be70d649e6fe4a73573482 (diff) | |
| download | rust-e8910440a24ecb2ddb08b4dbe170488ddf61fc87.tar.gz rust-e8910440a24ecb2ddb08b4dbe170488ddf61fc87.zip | |
select obligations after `check_casts`
Otherwise, we can get into a situation where you have a subtype obligation `#1 <: #2` pending, #1 is constrained by `check_casts`, but #2` is unaffected. Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
Diffstat (limited to 'src/test/mir-opt/lower_array_len.array_bound_mut.SimplifyLocals.diff')
0 files changed, 0 insertions, 0 deletions