Bug 1034184 - IonMonkey: Enable detection of and/or when improving types at tests, r=bhackett