[BUG] inferred fails when mixed with explicit parameter

[soraros]

Bug description

As title.

Steps to reproduce

fn main():
    f(1, 1) # error: invalid call to 'f':
 
fn f[inferred T: CollectionElement, U: CollectionElement](x: T, y: U):
    ...

System information

Mojo 2024.5.1705 (6569da05) on Docker, Intel Mac.

[soraros]

Another important example which doesn't work:

fn main():
    _rebind[Int](1)

fn _rebind[
    inferred src_type: AnyRegType,
    dest_type: AnyRegType,
](val: src_type) -> dest_type:
    return rebind[dest_type, src_type](val)

[ematejska]

Fails with new syntax too.