My biggest issue with typescript. If set on line 8 returns error "Argument of type '{ a: string; }' is not assignable to parameter of type 'ExampleInf'" because the argument is missing interface properties, then set on line 12 should throw ClassCastException or return same error, because it is the same issue. Cast argument is not fulfilling declared interface signature.