summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2018-04-20do not propagate `Err` when determing causal infoNiko Matsakis-19/+43
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-2/+1
2018-03-23Revert "add universes to type inference variables"Sean Griffin-2/+1
2018-03-23Rename variables in rustc’s SelectionContext::copy_clone_conditionsSimon Sapin-4/+3
2018-03-23Stabilize the copy_closures and clone_closures featuresSimon Sapin-6/+2
2018-03-14remove defaulting to unitAndrew Cann-49/+6
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-6/+9
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-1/+1
2018-03-08Prepare for using miri in transAlexander Regueiro-4/+20
2018-03-07Merge branch 'refactor-select' of https://github.com/aravind-pg/rust into upd...Alex Crichton-71/+39
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-11/+0
2018-03-03Refactor away `inferred_obligations` from the trait selectorAravind Gollakota-72/+40
2018-03-01add universes to type inference variablesNiko Matsakis-1/+2
2018-03-01store type values in the unification table directlyNiko Matsakis-8/+8
2018-02-28Rollup merge of #48479 - mark-i-m:rustc-guide, r=nikomatsakiskennytm-4/+11
2018-02-25tidy fixMark Mansi-2/+4
2018-02-25Change links to readmesMark Mansi-4/+9
2018-02-24Rollup merge of #48452 - varkor:unpacked-kind, r=eddybManish Goregaokar-2/+2
2018-02-24Rollup merge of #48296 - ishitatsuyuki:exp-unblow, r=nikomatsakisManish Goregaokar-2/+9
2018-02-23Introduce UnpackedKindvarkor-2/+2
2018-02-22impl_or_trait_obligations: deduplicate obligationsTatsuyuki Ishi-2/+9
2018-02-18Cleanup formattingAaron Hill-3/+3
2018-02-18Fix merge conflictsAaron Hill-1/+1
2018-02-18Generate documentation for auto-trait implsAaron Hill-1/+30
2018-02-01Auto merge of #47738 - nikomatsakis:issue-47139-master, r=arielb1bors-40/+64
2018-01-30track intercrate ambiguity only when there is a coherence errorNiko Matsakis-40/+64
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-5/+11
2018-01-13Remove `impl Foo for ..` in favor of `auto trait Foo`leonardo.yvens-2/+2
2018-01-01Fix docs for future pulldown migrationMalo Jaffré-0/+1
2017-12-07replace `InferCtxt::fn_sig` with `closure_sig`Niko Matsakis-2/+1
2017-12-05improve error reportingAriel Ben-Yehuda-4/+3
2017-12-05convert the new conflicts to a soft errorAriel Ben-Yehuda-15/+32
2017-12-05refactor a bitAriel Ben-Yehuda-25/+30
2017-12-05improve treatment of local types in "remote coherence" modeAriel Ben-Yehuda-2/+2
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-2/+2
2017-11-28Revert "fix treatment of local types in "remote coherence" mode"Ariel Ben-Yehuda-2/+2
2017-11-26fix treatment of local types in "remote coherence" modeAriel Ben-Yehuda-2/+2
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-2/+1
2017-11-18stop using the `closure_kinds` query / table for anythingNiko Matsakis-3/+3
2017-11-18traits: prefer `ClosureSubsts` to `InferCtxt::closure_kind`Niko Matsakis-2/+2
2017-11-18make `ty::Predicate` carry a `ClosureSubsts`Niko Matsakis-2/+2
2017-11-03Rename `trait_has_auto_impl` to `trait_is_auto`leonardo.yvens-2/+2
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-26/+26
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-2/+10
2017-10-08address more FIXME whose associated issues were marked as closedNiv Kaminer-12/+2
2017-09-20Fix ICEscalexm-2/+2
2017-09-20Implement `Copy`/`Clone` for closuresscalexm-7/+22
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-0/+15
2017-09-08Auto merge of #44142 - alexcrichton:dllimport-query, r=nikomatsakisbors-11/+13
2017-09-05factor out helper methodNiko Matsakis-5/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 03:46:29 +0000