Assertion list
new exception (subgroup of exception ) → ReceivesAction
Results from Ascent++: 2
new exception → ReceivesAction → introduced 0.68
new exception → ReceivesAction → thrown 0.68