summary refs log tree commit diff
path: root/src/librustc/traits/query
AgeCommit message (Expand)AuthorLines
2018-11-06Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-8/+24
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
2018-08-27Auto merge of #53580 - nikomatsakis:nll-issue-53568, r=pnkfelixbors-2/+89
2018-08-23Auto merge of #53588 - tristanburgess:52985_diagnostics_no_concrete_type_behi...bors-30/+8
2018-08-23use `TypeOp` machinery for `outlives_bounds`Niko Matsakis-0/+81
2018-08-23resolve type variables in the custom type op pathwayNiko Matsakis-1/+2
2018-08-23Use optimized SmallVec implementationIgor Gutorov-5/+5
2018-08-2252985: formatting PR filesTristan Burgess-9/+14
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 15:53:07 +0000