Add TypeChecker::isInsideCompatibleUnavailableDeclaration(). Pass in the call site's AvailableAttr and compare its platform to those in the enclosing lexical scopes. Added some basic tests.