summary refs log tree commit diff
path: root/src/librustc/traits/query
AgeCommit message (Expand)AuthorLines
2018-10-29add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-4/+7
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-7/+10
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+78
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-11/+11
2018-10-15type_op/mod.rs: rustfmtNiko Matsakis-2/+3
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-68/+68
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
2018-09-26Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-8/+24
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-43/+29
2018-09-13expose `evaluate_obligation` that captures overflow, use in rustdocNiko Matsakis-7/+16
2018-09-13give a more informative failure in this caseNiko Matsakis-1/+8
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 10:26:22 +0000