2015-01-05 |
Niko Matsakis | Implement new orphan rule that requires that impls...
|
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 |
2015-01-01 |
Niko Matsakis | Refactor the Typer interface to separate out UnboxedClosureT...
|
commit | commitdiff | tree |
2015-01-01 |
Niko Matsakis | Normalize predicates found on the impl
|
commit | commitdiff | tree |
2015-01-01 |
Niko Matsakis | Implement an iterator for walking types rather than...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Convert TODO to FIXME for now
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Remove a TODO now that we handle normalization-derived...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Fix whitespace.
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Teach trans to drain fulfillment context. japaric encountere...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Include projection bounds in superpredicates.
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Add tests for two random issues that seem to be fixed...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Rework normalization so that it works recursively,...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Normalize bounds also in the UFCS cases (and get more...
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Add ignore pretty.
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Incorporate fix from japaric for cross-crate ICE
|
commit | commitdiff | tree |
2014-12-31 |
Niko Matsakis | Patch projection to not be so eager to unify type variables...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Fix rebase conflicts
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Address nits.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Normalize associated types in bounds too. Also, make...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a test case using associated types cross crate...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Encode the TypeScheme for associated types
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Remove the AssocSpace
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Patch more metadata decoding problems.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Encode the name for associated items on a trait. Fixes...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Correct licenses.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Resolve merge conflicts. This changes should really...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Adjust tests for inferenceGet more conservative about...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a FIXME relating to these type-testing traits
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Patch long line.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add FIXMEs relating to caching of projection results
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a FIXME relating to regions and projection types
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a FIXME to patch up rustdoc
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | File a FIXME relating to using where clauses, not bounds
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a FIXME relating to Copy<T> not being checked
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Add a FIXME relating to using `ast::Name`
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Patch tests and create new tests related to projection...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Don't normalize associated types when in region binders...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Remove the def-id from type parameters. Having this...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Update error messages in various compile-fail tests
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Make projected types select out of the trait bounds.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Teach `project` to project associated types out of...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Allow object safe traits to access associated types.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Integrate projection bounds to `ExistentialBounds`...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Convert to use `Rc<TraitRef>` in object types (finally!).
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Implement associated type projection and normalization.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Move the scalar types out of static data so that we...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Rename `Polytype` to `TypeScheme` to differentiate...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Rename `trait_ref` field to `predicate`, since `trait_ref...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Rewrite the intrinsicck to take the parameter environment...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Move the TypeContents-based "Sized" queries into trans...
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Make ExprUseVisitor<..> use inherited parameter environments.
|
commit | commitdiff | tree |
2014-12-30 |
Niko Matsakis | Refactor various queries out of `ty` and into `trans...
|
commit | commitdiff | tree |
2014-12-25 |
Niko Matsakis | Move mem-categorization more things to use TYPER for...
|
commit | commitdiff | tree |
2014-12-25 |
Niko Matsakis | Remove `McResult` from the mem-categorization interface.
|
commit | commitdiff | tree |
2014-12-25 |
Niko Matsakis | Extend Typer interface to include `expr_ty_adjusted...
|
commit | commitdiff | tree |
2014-12-25 |
Niko Matsakis | Remove the regionck impl of Typer and just use fcx...
|
commit | commitdiff | tree |
2014-12-25 |
Niko Matsakis | Use the typer in ExprUseVisitor and do not hard code...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Tweak region-related error messages that changed slightly...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Correct merge failure around imports in `str.rs`.
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Address nit.
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Change print out to include the path to the fn, a bit...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Various simple tests for fn item type vs fn pointer...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Insert coercions to fn pointer types required for the...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Fix fallout from changes. In cases where stage0 compiler...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Perform coercions on LHS assignments.
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Insert FIXME links to issue #19925: fn item types should...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Adjust metadata for new fields and enum variants. Yawn.
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Rote changes that don't care to distinguish between...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Make ty_bare_fn carry an optional def-id indicating...
|
commit | commitdiff | tree |
2014-12-22 |
Niko Matsakis | Introduce a tcx() helper method to cleanup this mess.
|
commit | commitdiff | tree |
2014-12-20 |
Niko Matsakis | patch up pretty-printing test
|
commit | commitdiff | tree |
2014-12-19 |
Niko Matsakis | Three random test cases that seem to produce more errors...
|
commit | commitdiff | tree |
2014-12-19 |
Niko Matsakis | Modify the `Bytes` type so that it remains cloneable...
|
commit | commitdiff | tree |
2014-12-19 |
Niko Matsakis | Correct comment on Binder.
|
commit | commitdiff | tree |
next |