summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2018-07-02drive-by nits and debugNiko Matsakis-0/+5
2018-06-24Update broken rustc-guide linksAlex Kitchens-3/+3
2018-06-08Reenable trivial boundsMatthew Jasper-11/+61
2018-05-23Rollup merge of #50932 - nnethercote:seen-Predicates, r=eddybkennytm-3/+18
2018-05-21rustc: don't call Kind::from directly, use .into() instead.Eduard-Mihai Burtescu-2/+2
2018-05-21rustc: make mk_substs_trait take &[Kind] instead of &[Ty].Eduard-Mihai Burtescu-5/+5
2018-05-21Optimize seen Predicate filtering.Nicholas Nethercote-3/+18
2018-05-15Implement RFC 2056 - trivial constraintsMatthew Jasper-37/+28
2018-05-10Auto merge of #50395 - Zoxc:small-tys, r=michaelwoeristerbors-13/+15
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-3/+3
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-11/+13
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-2/+2
2018-05-07Make SelectionCache and EvaluationCache thread-safeJohn Kåre Alsaker-10/+17
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