Generic function overload error

[jfecher]

The following code snippet:

type Maybe<'t> =
   | Some 't
   | None

fun div: 't a b -> Maybe<'t>
    if b == 0 then None
    else Some(a/b)

div 2 4
div 5.0 0.0

(Incorrectly) issues the following error:

u.an: 10,1-3    error: No matching candidates for call to div with args (f64, f64)
...
u.an: 5,5-7     note: Candidate function with params (i32, i32)
...
u.an: 5,5-7     note: Candidate function with params (i32)

In which the second candidate should not exist