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