Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-16 21:15:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add logging in various places

Browse Source
This commit is contained in:
Jana Dönszelmann
2026-03-02 12:32:01 +01:00
parent 630f0d2bbb
commit a299302d5c
4 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/rustc_next_trait_solver/src/solve/normalizes_to/opaque_types.rs
+1
View File
@@ -13,6 +13,7 @@ impl<D, I> EvalCtxt<'_, D>
D: SolverDelegate<Interner = I>,
I: Interner,
{
#[tracing::instrument(skip(self))]
pub(super) fn normalize_opaque_type(
&mut self,
goal: Goal<I, ty::NormalizesTo<I>>,
compiler/rustc_type_ir/src/infer_ctxt.rs
+1 -1
View File
@@ -25,7 +25,7 @@ pub enum CantBeErased {}
#[derive(Clone, Copy, Hash, Debug)]
#[cfg_attr(
feature = "nightly",
derive(Encodable_NoContext, Decodable_NoContext, HashStable_NoContext)
derive(Encodable_NoContext, Decodable_NoContext, StableHash_NoContext)
)]
pub struct MayBeErased;
compiler/rustc_type_ir/src/search_graph/global_cache.rs
+1 -1
View File
@@ -68,7 +68,7 @@ pub(super) fn insert(
let prev = entry.success.replace(Success { required_depth, nested_goals, result });
if let Some(prev) = &prev {
cx.assert_evaluation_is_concurrent();
assert_eq!(cx.get_tracked(&prev.result), evaluation_result.result);
assert_eq!(cx.get_tracked(&prev.result), evaluation_result.result, "{input:?}");
}
}
}
compiler/rustc_type_ir/src/solve/mod.rs
+3 -3
View File
@@ -31,7 +31,7 @@
#[derive_where(Copy, Clone, Debug, Hash, PartialEq, Eq; I: Interner)]
#[derive(TypeVisitable_Generic, GenericTypeVisitable, TypeFoldable_Generic)]
#[cfg_attr(feature = "nightly", derive(HashStable_NoContext))]
#[cfg_attr(feature = "nightly", derive(StableHash_NoContext))]
pub enum AccessedState<I: Interner> {
Known1([I::LocalDefId; 1]),
Known2([I::LocalDefId; 2]),
@@ -41,7 +41,7 @@ pub enum AccessedState<I: Interner> {
#[derive_where(Copy, Clone, Debug, Hash, PartialEq, Eq; I: Interner)]
#[derive(TypeVisitable_Generic, GenericTypeVisitable, TypeFoldable_Generic)]
#[cfg_attr(feature = "nightly", derive(HashStable_NoContext))]
#[cfg_attr(feature = "nightly", derive(StableHash_NoContext))]
pub struct AccessedOpaquesInfo<I: Interner> {
#[type_visitable(ignore)]
#[type_foldable(identity)]
@@ -82,7 +82,7 @@ pub fn opaques_accessed(&self) -> Option<&[I::LocalDefId]> {
#[derive_where(Clone, Copy, Hash, PartialEq, Eq, Debug; I: Interner)]
#[derive(TypeVisitable_Generic, GenericTypeVisitable, TypeFoldable_Generic)]
#[cfg_attr(feature = "nightly", derive(HashStable_NoContext))]
#[cfg_attr(feature = "nightly", derive(StableHash_NoContext))]
pub enum AccessedOpaques<I: Interner> {
Yes(AccessedOpaquesInfo<I>),
No,