Function sig_for_projection 

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