mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minor updates to specialization subchapter

This commit is contained in:
Mark Mansi 2018-02-12 17:55:06 -06:00
parent a4b5151b11
commit 8d11e1ac3b
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/trait-specialization.md
View File

@ -1,9 +1,12 @@
# Specialization
**TODO**: where does Chalk fit in? Should we mention/discuss it here?
Defined in the `specialize` module.
The basic strategy is to build up a *specialization graph* during
coherence checking. Insertion into the graph locates the right place
coherence checking (recall that coherence checking looks for overlapping
impls). Insertion into the graph locates the right place
to put an impl in the specialization hierarchy; if there is no right
place (due to partial overlap but no containment), you get an overlap
error. Specialization is consulted when selecting an impl (of course),