Function check 

fn check<'tcx>(
    cx: &LateContext<'tcx>,
    symbol_name: &str,
    did: LocalDefId,
    sp: Span,
    lang_sig: PolyFnSig<'tcx>,
    user_sig: PolyFnSig<'tcx>,
)