deduced_param_attrs: check Freeze on monomorphic types. `deduced_param_attrs` currently checks `Freeze` bound on polymorphic MIR. This pessimizes the deduction, as generic types are not `Freeze` by default. This moves the check to the ABI adjustment.