user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor updates to specialization subchapter

Browse source
This commit is contained in:
Mark Mansi 2018-02-12 17:55:06 -06:00
parent c5d64c5355
commit 9cd08f4fa1
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/doc/rustc-dev-guide/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),