2015-01-21 |
Niko Matsakis | Move regression test for #20971 into run-fail, since...
|
commit | commitdiff | tree |
2015-01-16 |
Niko Matsakis | Add regression tests for #20763. Fixes #20763.
|
commit | commitdiff | tree |
2015-01-16 |
Niko Matsakis | Add regression test for #20797. Fixes #20797.
|
commit | commitdiff | tree |
2015-01-16 |
Niko Matsakis | Add regression test for #20971. Fixes #20791.
|
commit | commitdiff | tree |
2015-01-16 |
Niko Matsakis | Project region bounds out of the trait when deciding...
|
commit | commitdiff | tree |
2015-01-14 |
Niko Matsakis | Revert "rustc_trans: Fix type projection debuginfo...
|
commit | commitdiff | tree |
2015-01-14 |
Niko Matsakis | Normalize associated types in the type_is_newtype_immediate...
|
commit | commitdiff | tree |
2015-01-14 |
Niko Matsakis | Fix propagation of the HAS_PROJECTION flag in object...
|
commit | commitdiff | tree |
2015-01-14 |
Niko Matsakis | Fix Repr output so that it does not ICE when a self...
|
commit | commitdiff | tree |
2015-01-14 |
Niko Matsakis | Fix DeBruijn accounting. It used to be that all trait...
|
commit | commitdiff | tree |
2015-01-13 |
Niko Matsakis | Support UFCS style calls to a method defined in `Trait...
|
commit | commitdiff | tree |
2015-01-12 |
Niko Matsakis | Normalize bounds that we extract from where clauses...
|
commit | commitdiff | tree |
2015-01-12 |
Niko Matsakis | Fix various oversights in enum field treatment in trans...
|
commit | commitdiff | tree |
2015-01-11 |
Niko Matsakis | Give where clauses priority over builtin rules. Fixes...
|
commit | commitdiff | tree |
2015-01-11 |
Niko Matsakis | Normalize the types of fields we project out of a struct...
|
commit | commitdiff | tree |
2015-01-10 |
Niko Matsakis | Feature-gate `<>` syntax used with `Fn`. Fixes #18875.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Remove silly long line.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Add another test using projection types in impls.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Normalize types bottom up. Fixes #20666.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Adjust tests to be clearer about the type that results...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Rename test to fit naming convention.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Normalize types in supertraits when checking that impls...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Normalize types in impls, add test for coherence failure.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Wrap long line
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Modify lifetime-infereence-give-expl-lifetime-param...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Allow shift operator to take any integral type (and...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Add new test for #20232.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Update regionck to discharge the binder safely (using
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Fix the actual bug for #20232: when creating the cmt...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Update the "English-language" to-string function of...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Add comments to autoderef() helper and refactor it...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Normalize types of fields in struct literals during...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Update compile-fail test with new message that is generated...
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Add rather involved run-pass test case.
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Normalize associated types in `with_field_tys`
|
commit | commitdiff | tree |
2015-01-08 |
Niko Matsakis | Use ty::type_is_sized() so that we handle projection...
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Add regression test for #20582. Fixes #20582.
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Better debug output in `decl_rust_fn`. The lack of...
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Solve rather subtle bug in `replace_late_bound_regions...
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Use the `erase_regions` helper within trans in deference to
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Rename common::normalize to common::erase_regions
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Remove assertion that substitutions are erased. It...
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Normalize associated types in various parts of `adt`
|
commit | commitdiff | tree |
2015-01-07 |
Niko Matsakis | Remember to check the name of the associated type being...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Workaround privacy bug or something else; filter_to_traits...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Convert the TODO into FIXME.
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Support methods invoked on projection types based on...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Be stricter with binders in method probing.
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Add new tests covering various cases.
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Fix fallout in tests.
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Implement impl reachability rules. This is a [breaking...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Fix fallout in libs. For the most part I just tagged...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Fix ICE that @steveklabnik encountered in rust-ice...
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Normalize predicates during method winnowing.
|
commit | commitdiff | tree |
2015-01-06 |
Niko Matsakis | Permit method calls based on where clauses.
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Correctly "detuple" arguments when creating trait object...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Fix ICE caused by forgotten bcx
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Implement new orphan rule that requires that impls...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Add a test for issue #18865. Fixes #18865.
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Don't ICE just because an impl is missing an associated...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Treat associated types the same as type parameters...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Improve test to include a projection, per @huonw's...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Make supertrait references work in object types too.
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Minor code formatting cleanups.
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Permit bindings of (and references to) associated types...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Introduce a CollectCtxt and impl AstConv on *that*...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Stop writing code that is (unnecessarily) generic over...
|
commit | commitdiff | tree |
2015-01-05 |
Niko Matsakis | Convert astconv and friends to use object types, not...
|
commit | commitdiff | tree |
2015-01-04 |
Niko Matsakis | Cleanup type-checking of constants, but do not try...
|
commit | commitdiff | tree |
2015-01-04 |
Niko Matsakis | Miscellaneous reformatting and commenting.
|
commit | commitdiff | tree |
2015-01-04 |
Niko Matsakis | Correct the subtyping relations created by the pattern...
|
commit | commitdiff | tree |
2015-01-04 |
Niko Matsakis | Convert the TODO into a FIXME.
|
commit | commitdiff | tree |
2015-01-04 |
Niko Matsakis | Fix ICE in WF checker when we encounter bound regions...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | "Fallout": Slightly different errors are generated...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Running EUV requires the Copy lang item, so adjust...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Move upvar checking into its own pre-pass that occurs...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Make `ty::ParameterEnvironment`, not `ty::ctxt`, implement...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Modify `type_known_to_meet_builtin_bound` so that it...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Be more tolerant of errors in EUV so we can run it...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Stop calling `bug()` in various weird cases and instead...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Re-introduce `McResult<>` as a way of aborting mem...
|
commit | commitdiff | tree |
2015-01-03 |
Niko Matsakis | Make call notation use autoderef. Fixes #18742.
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Handle recursive obligations without exiting the inference...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Temporarily do not evaluate subobligations.
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Evaluate projection predicates during trait selection...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Do not ICE when projecting out of a value with type...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Address nits.
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Test that we can call unboxed closures with the sugar...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Ensure that, for every trait `Foo`, the predicate ...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Refactor object-safety into its own (cached) module...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Move the `upcast` routine into traits and use it for...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Do not automatically make `Self` `Sized` in traits.
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Fix fallout in tests.
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Fix fallout from change, adding explicit `Sized` annotations...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Fix an infinite loop in the stability check that was...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | New coherence tests covering patterns we want to work...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Disable the JSON doctests because they don't pass the...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Fix orphan checking (cc #19470). (This is not a complete...
|
commit | commitdiff | tree |
2015-01-02 |
Niko Matsakis | Replace the TODO with a FIXME.
|
commit | commitdiff | tree |
2015-01-01 |
Niko Matsakis | Normalize the associated types in closure and closure...
|
commit | commitdiff | tree |
next |