diff options
| author | Veikka Tuominen <git@vexu.eu> | 2022-03-10 12:02:31 +0200 |
|---|---|---|
| committer | Veikka Tuominen <git@vexu.eu> | 2022-03-10 12:02:31 +0200 |
| commit | b9f521b40217835c72bcb91debf3904d5b9df6e7 (patch) | |
| tree | efa8c458a5449474a82cb29f3a8136b518970e39 /src | |
| parent | f736cde397a6abb1399827ed5988c43001706580 (diff) | |
| download | zig-b9f521b40217835c72bcb91debf3904d5b9df6e7.tar.gz zig-b9f521b40217835c72bcb91debf3904d5b9df6e7.zip | |
Sema: add coercion from [:x]T to [*:x]T
Diffstat (limited to 'src')
| -rw-r--r-- | src/Sema.zig | 34 |
1 files changed, 32 insertions, 2 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 11f250e44c..517b04bc4b 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -16033,7 +16033,6 @@ fn coerce( }, .Pointer => p: { const inst_info = inst_ty.ptrInfo().data; - if (inst_info.size == .Slice) break :p; switch (try sema.coerceInMemoryAllowed( block, dest_info.pointee_type, @@ -16046,6 +16045,14 @@ fn coerce( .ok => {}, .no_match => break :p, } + if (inst_info.size == .Slice) { + if (dest_info.sentinel == null or inst_info.sentinel == null or + !dest_info.sentinel.?.eql(inst_info.sentinel.?, dest_info.pointee_type)) + break :p; + + const slice_ptr = try sema.analyzeSlicePtr(block, inst_src, inst, inst_ty); + return sema.coerceCompatiblePtrs(block, dest_ty, slice_ptr, inst_src); + } return sema.coerceCompatiblePtrs(block, dest_ty, inst, inst_src); }, else => {}, @@ -16089,7 +16096,30 @@ fn coerce( return sema.coerceTupleToSlicePtrs(block, dest_ty, dest_ty_src, inst, inst_src); } }, - .Many => {}, + .Many => p: { + const inst_info = inst_ty.ptrInfo().data; + if (inst_info.size != .Slice) break :p; + + switch (try sema.coerceInMemoryAllowed( + block, + dest_info.pointee_type, + inst_info.pointee_type, + dest_info.mutable, + target, + dest_ty_src, + inst_src, + )) { + .ok => {}, + .no_match => break :p, + } + + if (dest_info.sentinel == null or inst_info.sentinel == null or + !dest_info.sentinel.?.eql(inst_info.sentinel.?, dest_info.pointee_type)) + break :p; + + const slice_ptr = try sema.analyzeSlicePtr(block, inst_src, inst, inst_ty); + return sema.coerceCompatiblePtrs(block, dest_ty, slice_ptr, inst_src); + }, } // This will give an extra hint on top of what the bottom of this func would provide. |