Peer type resolution: `S` and `??S` should produce `??S`

[FnControlOption]

For example:

const std = @import("std");

const S = struct { i: i32 };

pub fn main() void {
    var runtime_bool: bool = true;
    _ = &runtime_bool;

    const foo: S = .{ .i = 1 };
    const bar: ??S = null;
    const baz = if (runtime_bool) foo else bar;
    std.debug.print("{}\n", .{@TypeOf(baz)}); // => ??S
}

Extracted from #2258

Initial implementation attempt: 18fda3a