For the interface `Setter<in T>`, which single assignment does the checker accept, and why?

interface Setter<in T> { set(v: T): void; } declare let sWide: Setter<number | string>; declare let sNum: Setter<number>;