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