1Tests that if we devirtualize a method that throws given the 2parameters, then we should also set the devirtualization as always 3throws. 4