Member predicate ObjectCreation :: isImplicitlyTyped
Holds if the type of the created object is inferred.
predicate
isImplicitlyTyped
(
)