about summary refs log tree commit diff
path: root/src/librustc/traits/query
AgeCommit message (Expand)AuthorLines
2018-08-2252985: better cycle error for existential typesTristan Burgess-36/+9
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-20/+20
2018-08-21change `make_query_outlives` to take an iteratorNiko Matsakis-2/+7
2018-08-21Rollup merge of #53496 - matthiaskrgr:codespell_08_2018, r=varkorkennytm-1/+1
2018-08-19Auto merge of #52953 - dsciarra:mv-codemap-sourcemap, r=petrochenkovbors-3/+3
2018-08-19Auto merge of #53316 - tristanburgess:52895_existential_type_ICE, r=oli-obkbors-9/+36
2018-08-19mv (mod) codemap source_mapDonato Sciarra-3/+3
2018-08-19Fix typos found by codespell.Matthias Krüger-1/+1
2018-08-19Auto merge of #53248 - nikomatsakis:nll-trivial-sized-predicate, r=eddybbors-2/+16
2018-08-1352985: cause cycle err on inf trait normalizationTristan Burgess-9/+36
2018-08-12unions are not always trivially dropableRalf Jung-5/+3
2018-08-10skip trivial `T: Sized` predicatesNiko Matsakis-2/+16
2018-08-07Avoid unnecessary pattern matching against Option and Resultljedrz-1/+1
2018-07-31assert no region obligations on entering custom type opNiko Matsakis-0/+13
2018-07-25Change ManuallyDrop from an union to a struct and make it a lang item.Eduard-Mihai Burtescu-1/+4
2018-07-21use proper body-id and span when solving obligationsNiko Matsakis-2/+2
2018-07-21skip no-op obligations and add a little debug outputNiko Matsakis-1/+3
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+170
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-6/+15
2018-06-28Rebase falloutOliver Schneider-1/+1
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-1/+1
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-2/+1
2018-06-28Auto merge of #51538 - nikomatsakis:nll-perf-examination, r=eddybbors-88/+798
2018-06-27rustfmt various filesNiko Matsakis-5/+9
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-1/+1
2018-06-27update commentsNiko Matsakis-3/+15
2018-06-27rename `prequery` to `try_fast_path`Niko Matsakis-7/+7
2018-06-27pull out `ParamEnvAnd` and remove `QueryKey`Niko Matsakis-153/+150
2018-06-27rename to `shrink_to_tcx_lifetime`Niko Matsakis-13/+13
2018-06-27improve comments on `dropck_outlives`Niko Matsakis-0/+15
2018-06-27rename `upcast` to `cast_to_tcx_lifetime` and improve commentNiko Matsakis-16/+21
2018-06-26convert query-type-op to create query-region-constraint directlyNiko Matsakis-148/+133
2018-06-26convert `dropck_outlives` type-op to use the queryNiko Matsakis-32/+67
2018-06-26introduce `QueryKey` separationNiko Matsakis-3/+27
2018-06-26transition to `Fallible`Niko Matsakis-33/+55
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-41/+180
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-14/+38
2018-06-26convert `predicates` to operate on 1 predicate at a timeNiko Matsakis-19/+12
2018-06-26make `Subtype` a true queryNiko Matsakis-13/+41
2018-06-26make `Eq` a true queryNiko Matsakis-22/+13
2018-06-26introduce `canonicalize_hr_query_hack`Niko Matsakis-1/+5
2018-06-26move `type_op` into `rustc`Niko Matsakis-0/+495
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-42/+5
2018-06-26rename `instantiate_query_result`Niko Matsakis-2/+2
2018-06-26make one `Canonicalize` impl for `QueryResult`Niko Matsakis-28/+2
2018-06-26improve `trivial_case` handlingNiko Matsakis-1/+1
2018-06-26Use proper debugging statements for infinite recursion assertionOliver Schneider-3/+3
2018-06-07Add existential type definitonsOliver Schneider-0/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 20:51:18 +0000