2015-04-01 |
Niko Matsakis | Fallout in libstd: remove impls now considered to conflict.
|
commit | commitdiff | tree |
2015-04-01 |
Niko Matsakis | Update tests for new coherence rules, and add a swatch...
|
commit | commitdiff | tree |
2015-04-01 |
Niko Matsakis | Add `#[fundamental]` annotations into libcore so that...
|
commit | commitdiff | tree |
2015-04-01 |
Niko Matsakis | Implement the changes to coherence such that we consider...
|
commit | commitdiff | tree |
2015-03-30 |
Niko Matsakis | Add test case for #22743.
|
commit | commitdiff | tree |
2015-03-30 |
Niko Matsakis | Fallout in tests: largely changes to error messages.
|
commit | commitdiff | tree |
2015-03-30 |
Niko Matsakis | Fallout where types must be specified.
|
commit | commitdiff | tree |
2015-03-30 |
Niko Matsakis | Driveby cleanup of the impl for negation, which had...
|
commit | commitdiff | tree |
2015-03-30 |
Niko Matsakis | Implement new type-checking strategy for binary operators...
|
commit | commitdiff | tree |
2015-03-27 |
Niko Matsakis | When testing whether a default method predicates are...
|
commit | commitdiff | tree |
2015-03-27 |
Niko Matsakis | Fix doc tests.
|
commit | commitdiff | tree |
2015-03-26 |
Niko Matsakis | Refactor object-safety test to use def-ids only
|
commit | commitdiff | tree |
2015-03-26 |
Niko Matsakis | Refactor how binders are handled in trait selection
|
commit | commitdiff | tree |
2015-03-26 |
Niko Matsakis | Drive-by fix for incorrect variance rule that I noticed.
|
commit | commitdiff | tree |
2015-03-26 |
Niko Matsakis | Implement `Reflect` trait with a variant on the standard...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Fallout from changing fn traits to use inheritance...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Remove auto-deref'ing Pattern impl because it conflicts...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Refactor how we handle overflow so that it is a fatal...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Update borrowck tests to test that index is by-move now
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Fallout in stdlib, rustdoc, rustc, etc. For most maps...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Adjust Index/IndexMut impls. For generic collections...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Compiler and trait changes to make indexing by value.
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Make the `Fn` traits inherit from one another and remove...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | When matching against a pattern (either via `match...
|
commit | commitdiff | tree |
2015-03-23 |
Niko Matsakis | Remove incorrect subtyping for `&mut Trait` and introduce...
|
commit | commitdiff | tree |
2015-03-19 |
Niko Matsakis | Require braces when a closure has an explicit return...
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Move unsafety out of the subtyping relation and into...
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Extract out `mts` into `combine` using `tys_with_variance`
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Fix soundness hole when unsizing boxes.
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Remove subtyping for object types and replace with...
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Only test predicates if this is a default method, as...
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Check that predicates hold before emitting an entry...
|
commit | commitdiff | tree |
2015-03-17 |
Niko Matsakis | Refactor the emit_vtable_methods code to be a bit cleaner...
|
commit | commitdiff | tree |
2015-03-09 |
Niko Matsakis | Address nit by @flaper87
|
commit | commitdiff | tree |
2015-03-06 |
Niko Matsakis | Remove the coherence impls pass that was specialized...
|
commit | commitdiff | tree |
2015-03-06 |
Niko Matsakis | Add stricter orphan rules for cross-crate impls of...
|
commit | commitdiff | tree |
2015-03-06 |
Niko Matsakis | Change the data structures for tracking defaulted traits...
|
commit | commitdiff | tree |
2015-03-05 |
Niko Matsakis | Address nits by @nrc.
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Add tests related to #20220. Fixes #20220.
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Generalize the code so we can handle multiple supertraits.
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Separate supertrait collection from processing a `TraitDef...
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Extract out trait_defines_associated_type_named into...
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Extend the "treat-err-as-bug" option to cover calls...
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Extract out the `filter_to_traits` functionality
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | Simplify impl of Elaborator now that we don't need...
|
commit | commitdiff | tree |
2015-03-04 |
Niko Matsakis | When generating WF criteria, do not visit the same...
|
commit | commitdiff | tree |
2015-03-03 |
Niko Matsakis | fix test generic-extern-mangle.rs
|
commit | commitdiff | tree |
2015-03-02 |
Niko Matsakis | Remove the synthetic "region bound" from closures and...
|
commit | commitdiff | tree |
2015-02-25 |
Niko Matsakis | Change MarkerTrait to be invariant. This is a (small...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Improve debug output from coherence.
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Resolve regions too when normalizing param env.
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Make traits with assoc types invariant in their inputs.
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Merge conflicts due to eddyb's UFCS branch
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Remove two uses of old `[]` notation
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Merge conflict: port default impls code
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Add handy switch `-Z treat-err-as-bug` -- it often...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Rework trait-bound-conversion so be based on the AST...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Remove bounds struct from TypeParameterDef. Bounds...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Rework the `get_type_parameter_bounds` impl to use...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Comprehence cycle detection in `collect`. In some cases...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Convert `astconv` to request bounds through the `AstConv...
|
commit | commitdiff | tree |
2015-02-24 |
Niko Matsakis | Change collect to implement `AstConv` on a `ItemCtxt...
|
commit | commitdiff | tree |
2015-02-23 |
Niko Matsakis | Apply borrowck to fns that appear in const declarations.
|
commit | commitdiff | tree |
2015-02-23 |
Niko Matsakis | Make traits with by-value-self be considered object...
|
commit | commitdiff | tree |
2015-02-23 |
Niko Matsakis | Remove awful hack concerning `Trait impl Trait` in...
|
commit | commitdiff | tree |
2015-02-23 |
Niko Matsakis | Extend object safety so that methods with Sized:Self...
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | Add additional test case for superregion
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | Add new test for impl precedence and remove unnecessary...
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | tweak exhaustive matching of ty_infer
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | fix treatment of parameters and associated types
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | mark candidate set ambig for defaulted traits where...
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | some comments and nits
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | Add new test case showing that supertraits are not...
|
commit | commitdiff | tree |
2015-02-22 |
Niko Matsakis | Some nits and cleanup
|
commit | commitdiff | tree |
2015-02-20 |
Niko Matsakis | Remove remaining uses of `[]`. This time I tried to...
|
commit | commitdiff | tree |
2015-02-20 |
Niko Matsakis | make span on obsolete syntax very precise
|
commit | commitdiff | tree |
2015-02-19 |
Niko Matsakis | Exempt phantom fns from the object safety check
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Replace all uses of `&foo[]` with `&foo[..]` en masse.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Declare `&foo[]` to be obsolete syntax. Modify the...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Update tests to use #[feature(rustc_attrs)]
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Minor unused imports etc.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Stabilize Send/Sync.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Try to write some basic docs.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Add deprecated versions of the old markers and integrate...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | WIP -- improve documentation on the phantom traits
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Add rustc_attrs feature to test.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Always prefer where-clauses over impls in trait selection...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Extend the implicator so it produces general obligations...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | traits: break apart the "full normalization" code used...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Move `tcx` from `Typer` into `ClosureTyper`
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Misc. cleanup in regionck: Remove a one-variant enum...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Replace `assert_no_late_bound_regions` with
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Rename various things to "implications"
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Rename regionmanip to implicator.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | For now, accept the `i`, `u`, `is`, and `us` suffixes...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Missing test.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Add regression test for #20533. Fixes #20533.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: Accepter trait needs phantomdata. This seems...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: add phantomdata to hash
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: port hashmap to use Unique
|
commit | commitdiff | tree |
next |