1Verifies that we don't remove type checks when we need to check for access rights.
2