fn has_typeck_results(tcx: TyCtxt<'_>, def_id: DefId) -> bool