AI-0149 Access type conversion and membership
Values of anonymous access types are now allowed in contexts where the expected type is a named general access type and the implicit conversion has to be safe (access parameters and stand-alone anonymous access objects are not allowed, because their accessibility level is not statically known in Ada 2012). Additionally, the expression of a membership test is now allowed to be of an anonymous access type.