summaryrefslogtreecommitdiffstats
path: root/compiler/rustc_typeck/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/rustc_typeck/README.md')
-rw-r--r--compiler/rustc_typeck/README.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_typeck/README.md b/compiler/rustc_typeck/README.md
new file mode 100644
index 000000000..b61dbd8c9
--- /dev/null
+++ b/compiler/rustc_typeck/README.md
@@ -0,0 +1,5 @@
+For high-level intro to how type checking works in rustc, see the
+[type checking] chapter of the [rustc dev guide].
+
+[type checking]: https://rustc-dev-guide.rust-lang.org/type-checking.html
+[rustc dev guide]: https://rustc-dev-guide.rust-lang.org/