rust/src/test/run-pass/specialization at e05b61ccd8fcb4bb4fd12085fc13522b940e7618 - user0/rust

user0/rust

History

Masaki Hara 3a8e0afdbc Reattach all grandchildren when constructing specialization graph. This commit fixes the issue #50452.		2018-10-08 21:39:46 +09:00
..
auxiliary	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
defaultimpl	Add `#![allow(..)]` as necessary to get re-migrated run-pass tests compiling with clean stderr again.	2018-09-26 13:10:54 +02:00
assoc-ty-graph-cycle.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
cross-crate-defaults.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
issue-50452.rs	Reattach all grandchildren when constructing specialization graph.	2018-10-08 21:39:46 +09:00
README.md	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-allowed-cross-crate.rs	Add `#![allow(..)]` as necessary to get re-migrated run-pass tests compiling with clean stderr again.	2018-09-26 13:10:54 +02:00
specialization-assoc-fns.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-basics.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-cross-crate-no-gate.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-cross-crate.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-default-methods.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-on-projection.rs	Add `#![allow(..)]` as necessary to get re-migrated run-pass tests compiling with clean stderr again.	2018-09-26 13:10:54 +02:00
specialization-out-of-order.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-overlap-projection.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-projection-alias.rs	Add `#![allow(..)]` as necessary to get re-migrated run-pass tests compiling with clean stderr again.	2018-09-26 13:10:54 +02:00
specialization-projection.rs	Add `#![allow(..)]` as necessary to get re-migrated run-pass tests compiling with clean stderr again.	2018-09-26 13:10:54 +02:00
specialization-super-traits.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-translate-projections-with-lifetimes.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-translate-projections-with-params.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00
specialization-translate-projections.rs	Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.	2018-09-26 13:10:54 +02:00

README.md

Tests that specialization is working correctly:

Dispatch
- On methods, includes:
  - Specialization via adding a trait bound
    - Including both remote and local traits
  - Specialization via pure structure (e.g. (T, U) vs (T, T))
  - Specialization via concrete types vs unknown types
    - In top level of the trait reference
    - Embedded within another type (Vec<T> vs Vec<i32>)
- Specialization based on super trait relationships
- On assoc fns
- Ensure that impl order doesn't matter
Item inheritance
- Correct default cascading for methods
- Inheritance works across impls with varying generics
  - With projections
  - With projections that involve input types
Normalization issues
- Non-default assoc types can be projected
  - Including non-specialized cases
  - Including specialized cases
- Specialized Impls can happen on projections
- Projections and aliases play well together
- Projections involving specialization allowed in the trait ref for impls, and overlap can still be determined
  - Only works for the simple case where the most specialized impl directly provides a non-default associated type
Across crates
- For traits defined in upstream crate
- Full method dispatch tests, drawing from upstream crate
  - Including additional local specializations
- Full method dispatch tests, without turning on specialization in local crate
- Test that defaults cascade correctly from upstream crates
  - Including additional local use of defaults