Function check_tail_calls 

pub fn check_tail_calls<'tcx>(tcx: TyCtxt<'tcx>, key: Key<'tcx>) -> String