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