From c089fba3efd307da56e6086afb1282005f52d17d Mon Sep 17 00:00:00 2001
From: lyj <sjtu5140809011@gmail.com>
Date: Fri, 24 Jun 2022 19:41:17 +0800
Subject: [PATCH] Add test link to subtype

---
 src/subtyping.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/subtyping.md b/src/subtyping.md
index 91e870e..3d8ccab 100644
--- a/src/subtyping.md
+++ b/src/subtyping.md
@@ -452,3 +452,5 @@ struct MyType<'a, 'b, A: 'a, B: 'b, C, D, E, F, G, H, In, Out, Mixed> {
     k2: Mixed,              // invariant over Mixed, because invariance wins all conflicts
 }
 ```
+
+To debug variance of custom struct, see `src/test/ui/variance/variance-types.rs`.