We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ebf23a5 commit 68abca9Copy full SHA for 68abca9
chalk-solve/src/wf.rs
@@ -571,7 +571,7 @@ fn compute_assoc_ty_goal<I: Interner>(
571
572
/// Defines methods to compute well-formedness goals for well-known
573
/// traits (e.g. a goal for all fields of struct in a Copy impl to be Copy)
574
-struct WfWellKnownConstraints {}
+struct WfWellKnownConstraints;
575
576
impl WfWellKnownConstraints {
577
/// Computes a goal to prove Sized constraints on a struct definition.
0 commit comments