@centril would you like me to disallow this case?
@davidtwco that would be nice if it isn't an inconvenience
otherwise we can file an issue
I'll probably skip doing that given @Vadim Petrochenkov's comment and re-work this PR to address the bug in resolve if that's where it makes more sense to fix this.
@davidtwco very fair -- it is probably the case that the fix for type parameters in resolve has roughly the same shape as for const generics
I hope so.
Also, I suspect you can also throw in a regression test for https://github.com/rust-lang/rust/issues/65025 once done
I'll assign myself to that and reference the other issue so I remember to check if it gets fixed.