Peer type resolution of pointers to arrays should give slices

[daurnimator]

if (some_cond) "foo" else "something else"

Currently fails with

error: expected type '*const [3:0]u8', found '*const [14:0]u8'

I propose that peer type resolution in situations like this instead results in a [:0]const u8

I also propose that various pointer attributes would have different behaviour:

• align -> result type should have lowest common denominator of alignment of operands
• const -> if either type is const, resulting slice is const

[daurnimator]

Nevermind, this is already the case; my test snippet was just running into #3882

const std = @import("std");

pub fn main() void {
  var b = true;
  var f = if (b) "foo" else "something else";
  std.debug.print("{}:{}\n", .{@typeName(@TypeOf(f)), f});
}