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 |
2015-02-18 |
Niko Matsakis | Fallout: add phantomdata for 'a in path
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: extend thread with phantomdata for `'a` lifetime
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: add phantom data to the type inferencer
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: add phantom data to librand
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: port libflate to new Unique API
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: Port slice to use `PhantomData` instead of...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: remove unused type and region parameters.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: tests. As tests frequently elide things, lots...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: docs, elided examples often elided too much.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: iter, add markers or other changes such that...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: AtomicPtr needs phantom data to indicate that...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: arena needs to use phantomdata since invariantlifet...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: RingBuf, use Unique.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: EnumSet, add Marker.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: port btree to use Unique, some markers.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: btree. Rephrase invariant lifetime in terms...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fallout: Port Vec to use `Unique`
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Constrain operands to outlive the operation. Fixes...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Rewrite `Unique<T>` so that it is covariant in T, implies...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Extend coherence check to understand subtyping.
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Report errors for type parameters that are not constrained...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Introduce the new phantomdata/phantomfn markers and...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Fix remaining bench/debuginfo tests (and a few stragglers)
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Update suffixes en masse in tests using `perl -p -i -e`
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Update docs by dropping suffixes except where they...
|
commit | commitdiff | tree |
2015-02-18 |
Niko Matsakis | Tweak pretty printing.
|
commit | commitdiff | tree |
next |