summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-5/+5
2018-08-23use String::new() instead of String::from(""), "".to_string(), "".to_owned() ...Matthias Krüger-2/+2
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-12/+12
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-9/+9
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-85/+85
2018-08-15Auto merge of #53212 - sunjay:nll-raw-cast, r=nikomatsakisbors-1/+14
2018-08-10Consider changing assert! to debug_assert! when it calls visit_withljedrz-4/+4
2018-08-09Preferring BuiltInCandidate { has_nested: false } in all casesSunjay Varma-1/+14
2018-08-07Avoid unnecessary pattern matching against Option and Resultljedrz-2/+2
2018-08-01Split out growth functionality into BitVector typeMark Rousskov-2/+2
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