fn sig_for_projection<'tcx>(
    cx: &LateContext<'tcx>,
    ty: AliasTy<'tcx>
) -> Option<ExprFnSig<'tcx>>