1comptime {
 2    const in: []const comptime_int = &.{0};
 3    const out: []const type = @ptrCast(in);
 4    _ = out;
 5}
 6
 7const One = u8;
 8const Two = [2]u8;
 9const Three = [3]u8;
10const Four = [4]u8;
11const Five = [5]u8;
12
13// []One -> []Two (small to big, divides neatly)
14comptime {
15    const in: []const One = &.{ 1, 0, 0 };
16    const out: []const Two = @ptrCast(in);
17    _ = out;
18}
19comptime {
20    const in: *const [3]One = &.{ 1, 0, 0 };
21    const out: []const Two = @ptrCast(in);
22    _ = out;
23}
24
25// []Four -> []Five (small to big, does not divide)
26comptime {
27    const in: []const Four = &.{.{ 0, 0, 0, 0 }};
28    const out: []const Five = @ptrCast(in);
29    _ = out;
30}
31comptime {
32    const in: *const [1]Four = &.{.{ 0, 0, 0, 0 }};
33    const out: []const Five = @ptrCast(in);
34    _ = out;
35}
36
37// []Three -> []Two (big to small, does not divide)
38comptime {
39    const in: []const Three = &.{.{ 0, 0, 0 }};
40    const out: []const Two = @ptrCast(in);
41    _ = out;
42}
43comptime {
44    const in: *const [1]Three = &.{.{ 0, 0, 0 }};
45    const out: []const Two = @ptrCast(in);
46    _ = out;
47}
48
49// error
50//
51// :3:31: error: cannot infer length of comptime-only '[]const type' from incompatible '[]const comptime_int'
52// :16:30: error: slice length '3' does not divide exactly into destination elements
53// :21:30: error: type '[3]u8' does not divide exactly into destination elements
54// :28:31: error: slice length '1' does not divide exactly into destination elements
55// :33:31: error: type '[1][4]u8' does not divide exactly into destination elements
56// :40:30: error: slice length '1' does not divide exactly into destination elements
57// :45:30: error: type '[1][3]u8' does not divide exactly into destination elements