Function is_primitive_inner 

pub fn is_primitive_inner(
    view: &CompiledModule,
    function_type_args: &[AbilitySet],
    s: &SignatureToken,
    is_strict: bool,
) -> bool

Check if a type is a primitive type. In optimistic mode (is_strict = false), a type parameter is considered primitive if it has no key ability. In strict mode (is_strict = true), a type parameter is considered primitive if it has at least copy or drop ability.