Incorrect handling of type parameter inside a function

[Y-Nak]

The compiler allows the below example without causing any errors.

data Pair(a, b) = Pair(a, b)

function snd(p: Pair(a, Word)) -> a {
    match p {
    | Pair(_, w) => return w;
    };
}

function foo(p: a) -> Word {
    let x: Word = p;
    return x;
}

[rodrigogribeiro]

Fixed on main.

[rodrigogribeiro]

Fixed in last commit in main.