Support parameters on destructive type substitutions