pub fn thir_tree<'tcx>(_: TyCtxt<'tcx>, _: &thir_tree<'tcx>) -> bool