summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-5/+4
2018-04-26Retry canonical trait query in standard mode if overflow occursAravind Gollakota-7/+12
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-20/+19
2018-04-26Introduce trait query mode and use it to set overflow error handling policy i...Aravind Gollakota-11/+45
2018-04-26Simplify trait selector's evaluation API slightlyAravind Gollakota-20/+4
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-9/+24
2018-04-26Refactor overflow handling in traits::select to propagate overflow instead of...Aravind Gollakota-69/+105
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-1/+1
2018-04-24Remove methods with implicit Binder::skip_boundTyler Mandry-1/+2
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-46/+50
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-1/+1
2018-04-08Auto merge of #49714 - nikomatsakis:issue-49631, r=eddybbors-19/+43
2018-04-05do not propagate `Err` when determing causal infoNiko Matsakis-19/+43
2018-04-05Rollup merge of #49654 - davidtwco:issue-29893, r=alexcrichtonkennytm-0/+2
2018-04-04Auto merge of #48171 - FraGag:doc-copy-clone-impls, r=nikomatsakisbors-3/+7
2018-04-04Updated codeblocks to specify language where required.David Wood-0/+2
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-2/+1
2018-03-26Move some implementations of Clone and Copy to libcoreFrancis Gagné-3/+7
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 09:56:12 +0000