-
Manos Koukoutos authored
Make signature of IsInstanceOf consistent with other Expr's Add isInstOf Constructor Correctly handle This in instantiateType Correctly handle This in MethodLifting when it belongs to a subtype An extra unit test
Manos Koukoutos authoredMake signature of IsInstanceOf consistent with other Expr's Add isInstOf Constructor Correctly handle This in instantiateType Correctly handle This in MethodLifting when it belongs to a subtype An extra unit test
