fn simple<'tcx>(
    kind: Adjust<'tcx>
) -> impl FnOnce(Ty<'tcx>) -> Vec<Adjustment<'_>>