fix bug in let inference that missed some stuff that should fail occurs check