When needed, add type parameters and variant check to field access

When needed, add type parameters and variant check to field access #6370