is_restricted_type
if (is_restricted_type(sym)) {
} else if (is_restricted_type(base_type) != is_restricted_type(ctype)) {
} else if (is_restricted_type(base_type) && base_type != ctype) {
if (is_restricted_type(sym)) {