Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
7366034
Fix existing comment typo.
aturon Dec 4, 2015
659ba09
Remove useless vector accumulation in `type_vars_for_defs`
aturon Dec 8, 2015
8fe63e2
Add `default` as contextual keyword, and parse it for impl items.
aturon Dec 18, 2015
991f32a
Hook `default` keyword into metadata and carry data through to typeck
aturon Dec 29, 2015
45f4bf1
Refactor `impl_trait_ref_and_oblig`, making it generally available as…
aturon Dec 30, 2015
c5849e4
Add specialization module.
aturon Dec 22, 2015
1f34086
Initial incorporation of specialization:
aturon Dec 22, 2015
957ee5c
Add subst helper for inheriting FnSpace from another subst
aturon Dec 28, 2015
7e42a78
Implement default method inheritance.
aturon Dec 28, 2015
1077ff2
Add basic specialization tests, including for default item
aturon Dec 28, 2015
5dedbda
Check for proper use of `default` keyword in specializing impls.
aturon Dec 29, 2015
b7e5112
Implement default associated type inheritance.
aturon Dec 29, 2015
a382582
Add tests for specialization on associated types
aturon Dec 29, 2015
d816079
Adjust overlap-related tests to account for cosmetic changes to error…
aturon Dec 30, 2015
7976e36
Adjust test for new overlap message on default trait impls
aturon Dec 30, 2015
9f16c2c
Adjust coherence test to reflect that only the orphan rule prevents y…
aturon Dec 30, 2015
e816910
Add feature gate
aturon Dec 30, 2015
ed8d059
Adjust tests for feature gate, and add tests for the gate itself
aturon Dec 30, 2015
c1df41e
Add some basic comments about how specialization fits into the rest o…
aturon Dec 30, 2015
9734406
Assorted fixed after rebasing
aturon Jan 30, 2016
462c83e
Address basic nits from initial review
aturon Jan 30, 2016
940adda
Move specialization graph walks to iterators; make associated type
aturon Feb 16, 2016
8f20cbf
Add more commentary for subst translation
aturon Feb 17, 2016
eaf2f90
Refactor core specialization and subst translation code to avoid
aturon Feb 19, 2016
1726c1b
Add some debugging output for specialization graph assembly
aturon Feb 23, 2016
2651f8c
Add regression tests from initial implementation review
aturon Feb 23, 2016
386f8ee
Forbid cross-polarity specializations
aturon Feb 23, 2016
9bcfdb7
Move projection_mode to InferContext rather than SelectionContext to …
aturon Feb 23, 2016
8f0e73e
Address review comments
aturon Mar 8, 2016
35437c7
Fixes after a rebase
aturon Mar 9, 2016
3262016
Move tests to dedicated subdirectories
aturon Mar 9, 2016
d80189d
Test fixes, added README for tests
aturon Mar 11, 2016
e36620d
Introduce ICE when the topmost projection restriction kicks in, as pe…
aturon Mar 11, 2016
e5753b4
Fixes after rebase
aturon Mar 11, 2016
c4f78ad
Parse fail test fixes
aturon Mar 13, 2016
dc45d92
Adjust error code
aturon Mar 13, 2016
6562eeb
Add pretty printer output for `default`
aturon Mar 14, 2016
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Move tests to dedicated subdirectories
  • Loading branch information
aturon committed Mar 14, 2016
commit 326201657a912d9a291da057d82ddd4576ae04f2