Functions with type params don't error when the function returns a non-generic type

[kevinbarabash]

The following code type checks but it shouldn't:

fn snd<A, B>(x: A, y: B) -> B {
  return "hello";
}