summary refs log tree commit diff
path: root/src/librustc/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2018-03-23Revert "add universes to type inference variables"Sean Griffin-3/+1
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+2
2018-03-01add universes to type inference variablesNiko Matsakis-1/+3
2018-02-25Change links to readmesMark Mansi-1/+5
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-02-01Auto merge of #47738 - nikomatsakis:issue-47139-master, r=arielb1bors-14/+36
2018-01-30track intercrate ambiguity only when there is a coherence errorNiko Matsakis-9/+18
2018-01-30change `overlapping_impls` to take a tcx and create the infcxNiko Matsakis-9/+11
2018-01-30make `overlapping_impls` call closures instead of returningNiko Matsakis-8/+19
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-1/+4
2017-12-06convert errors to warningsAriel Ben-Yehuda-1/+1
2017-12-05add a comment and assertion explaining everythingAriel Ben-Yehuda-1/+93
2017-12-05convert the new conflicts to a soft errorAriel Ben-Yehuda-4/+8
2017-12-05refactor a bitAriel Ben-Yehuda-45/+51
2017-12-05improve treatment of local types in "remote coherence" modeAriel Ben-Yehuda-46/+79
2017-11-28Revert "fix treatment of local types in "remote coherence" mode"Ariel Ben-Yehuda-79/+46
2017-11-26fix treatment of local types in "remote coherence" modeAriel Ben-Yehuda-46/+79
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+4
2017-10-08address more FIXME whose associated issues were marked as closedNiv Kaminer-1/+0
2017-09-05factor out helper methodNiko Matsakis-7/+10
2017-09-05Add hints when intercrate ambiguity causes overlap.Masaki Hara-3/+12
2017-07-28Generator literal supportJohn Kåre Alsaker-1/+1
2017-07-05use field init shorthand in src/librustcZack M. Davis-2/+2
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-6/+3
2017-06-01strip param-env from infcxNiko Matsakis-7/+38
2017-04-19propagate obligations during overlap checkNiko Matsakis-4/+4
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-9/+4
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-2/+2
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-9/+7
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-4/+6
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-6/+8
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-2/+1
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-4/+2
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-1/+1
2016-09-03Add union typesVadim Petrochenkov-1/+2
2016-08-17rustc: remove SelfSpace from ParamSpace.Eduard Burtescu-5/+1
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-2/+2
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-0/+1
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-1/+1
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-8/+8
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-26/+15
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-9/+11
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-18/+19
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-6/+5
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-03-31librustc: replace tcx.sess.bug calls with bug!()Benjamin Herr-3/+1
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+299
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 19:07:29 +0000