Sema: fix issues passing an invalid type to a generic method

[jacobly0]

What does this code and/or comment mean anyway? All I know is that it doesn't pass the test.

Closes #16601

[xdBronch]

is #16688 the same thing?

[mlugg]

Also fixed by #16604

[mlugg@polaris test]$ z4 result-type-shenanigans build-obj foo.zig
foo.zig:3:18: error: expected type 'bool', found 'void'
    s.boolMethod({});
                 ^~
foo.zig:12:43: note: parameter type declared here
    fn boolMethod(comptime _: @This(), _: bool) void {}
                                          ^~~~
foo.zig:8:18: error: expected type 'void', found 'bool'
    s.voidMethod(false);
                 ^~~~~
foo.zig:13:43: note: parameter type declared here
    fn voidMethod(comptime _: @This(), _: void) void {}

[andrewrk]

Looks like leftover from the old implementation that was indeed supposed to be deleted

[mlugg]

Looks like leftover from the old implementation that was indeed supposed to be deleted

FWIW my new logic in #16604 retains this and typechecks it fine - presumably the rewrite shuffled around where some type checks happen leading to this issue. (I can remove this functionality from that PR to match this one, it does seem pretty pointless)