Commit 7a667d2
Lukas Markeffsky
remove unreachable cases
`ty::Placeholder` is used by the trait solver and computing its layout
was necessary, because the `PointerLike` trait used to be automatically
implemented for all types with pointer-like layout.
Nowadays, `PointerLike` requires user-written impls and the trait solver
no longer computes any layouts, so this can be removed.
Unevaluated constants that aren't generic should have caused a const eval
error earlier during normalization.1 parent 802b7ab commit 7a667d2
1 file changed
+8
-15
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
155 | 155 | | |
156 | 156 | | |
157 | 157 | | |
158 | | - | |
| 158 | + | |
159 | 159 | | |
160 | | - | |
| 160 | + | |
161 | 161 | | |
162 | 162 | | |
163 | 163 | | |
164 | | - | |
165 | | - | |
166 | | - | |
167 | | - | |
168 | | - | |
169 | | - | |
170 | | - | |
171 | 164 | | |
172 | 165 | | |
173 | 166 | | |
| |||
728 | 721 | | |
729 | 722 | | |
730 | 723 | | |
731 | | - | |
732 | | - | |
| 724 | + | |
| 725 | + | |
| 726 | + | |
| 727 | + | |
| 728 | + | |
| 729 | + | |
733 | 730 | | |
734 | 731 | | |
735 | 732 | | |
736 | 733 | | |
737 | 734 | | |
738 | | - | |
739 | | - | |
740 | | - | |
741 | | - | |
742 | 735 | | |
743 | 736 | | |
744 | 737 | | |
| |||
0 commit comments