diff options
| author | bors <bors@rust-lang.org> | 2022-09-19 20:36:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-19 20:36:02 +0000 |
| commit | bde76b9abb3aade263f8381c1afd2677e53f4d23 (patch) | |
| tree | 013bcc33a60f42c1b6745cf0f421d0993a86c335 /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff | |
| parent | 4d989b546558a873ea2376e4d4f0c7f22c762e81 (diff) | |
| parent | 9845e37f58b32750b8eec2fc150d2a36bb9971a3 (diff) | |
| download | rust-bde76b9abb3aade263f8381c1afd2677e53f4d23.tar.gz rust-bde76b9abb3aade263f8381c1afd2677e53f4d23.zip | |
Auto merge of #13264 - lowr:patch/no-dyn-without-trait, r=Veykril
Ensure at least one trait bound in `TyKind::DynTy` One would expect `TyKind::DynTy` to have at least one trait bound, but we may produce a dyn type with no trait bounds at all. This patch prevents it by returning `TyKind::Error` in such cases. An "empty" dyn type would have caused panic during method resolution without #13257. Although already fixed, I think an invariant to never produce such types would help prevent similar problems in the future.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions