type that is either an object type, a function type that does not have cv-qualifiers or a ref-qualifier, or a reference type