Function identity

fn identity(_: Ty<'_>) -> Vec<Adjustment<'_>>

Do not require any adjustments, i.e. coerce x -> x.