| ... | @@ -28582,6 +28582,10 @@ fn elemValSlice( | ... | @@ -28582,6 +28582,10 @@ fn elemValSlice( |
| 28582 | } | 28582 | } |
| 28583 | } | 28583 | } |
| 28584 | | 28584 | |
| | 28585 | if (try sema.typeHasOnePossibleValue(elem_ty)) |elem_only_value| { |
| | 28586 | return Air.internedToRef(elem_only_value.toIntern()); |
| | 28587 | } |
| | 28588 | |
| 28585 | try sema.validateRuntimeElemAccess(block, elem_index_src, elem_ty, slice_ty, slice_src); | 28589 | try sema.validateRuntimeElemAccess(block, elem_index_src, elem_ty, slice_ty, slice_src); |
| 28586 | try sema.validateRuntimeValue(block, slice_src, slice); | 28590 | try sema.validateRuntimeValue(block, slice_src, slice); |
| 28587 | | 28591 | |