Example 2: thrown(), @FailsWith and notThrown()