about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-04-08Rollup merge of #123635 - maurer:kcfi-no-assoc, r=compiler-errorsMatthias Krüger-1/+4
2024-04-08CFI: Fix ICE in KCFI non-associated function pointersMatthew Maurer-1/+4
2024-04-08Shrink the size of ClosureTypeInfo to fit into 64 bytes againOli Scherer-6/+20
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-1/+13
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-12/+210
2024-04-07Don't even parse an intrinsic unless the feature gate is enabledMichael Goulet-3/+8
2024-04-07Auto merge of #123058 - lukas-code:clauses, r=lcnrbors-98/+247
2024-04-06add RawListLukas Markeffsky-255/+100
2024-04-05Rollup merge of #123311 - Jules-Bertholet:andpat-everywhere, r=NadrierilGuillaume Gomez-0/+56
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-2/+2
2024-04-04Auto merge of #123097 - oli-obk:perf_experiment, r=petrochenkovbors-2/+10
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-04-04cache type info for ParamEnvLukas Markeffsky-62/+366
2024-04-04Auto merge of #123052 - maurer:addr-taken, r=compiler-errorsbors-9/+60
2024-04-04Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhprattbors-5/+5
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-5/+5
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-44/+97
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-5/+5
2024-04-03Rollup merge of #122964 - joboet:pointer_expose, r=AmanieuMatthias Krüger-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-5/+5
2024-04-03Fix up error message for debug_assert_args_compat for IATsMichael Goulet-19/+31
2024-04-03Simplify some cfgingMichael Goulet-17/+11
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-40/+87
2024-04-03Rollup merge of #123382 - compiler-errors:assert-fndef-kind, r=fmeaseMatthias Krüger-1/+5
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-04-03Remove MIR unsafe checkMatthew Jasper-1/+0
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-5/+5
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+7
2024-04-02CFI: Support function pointers for trait methodsMatthew Maurer-0/+18
2024-04-02Track reason for creating a `ReifyShim`Matthew Maurer-9/+42
2024-04-02Assert FnDef only constructed with functions (or fn-like ctors)Michael Goulet-1/+5
2024-04-02Address review commentsJules Bertholet-6/+6
2024-04-01Auto merge of #123327 - BoxyUwU:param_env_docs_rewrite, r=compiler-errorsbors-5/+10
2024-04-01maybeBoxy-1/+1
2024-04-01Update `ParamEnv` docsBoxy-5/+10
2024-04-01Auto merge of #122972 - beetrees:use-align-type, r=fee1-deadbors-2/+1
2024-04-01Use the `Align` type when parsing alignment attributesbeetrees-2/+1
2024-03-30Implement "&<pat> everywhere"Jules Bertholet-0/+56
2024-03-30Auto merge of #123230 - matthiaskrgr:rollup-4twuzj4, r=matthiaskrgrbors-0/+4
2024-03-30Rollup merge of #123170 - compiler-errors:const-statics, r=lcnrMatthias Krüger-0/+4
2024-03-29Assert that ADTs have the right number of substsMichael Goulet-0/+7
2024-03-29Auto merge of #123080 - Jules-Bertholet:mut-ref-mut, r=Nadrierilbors-31/+16
2024-03-28Rollup merge of #123160 - bvanjoi:cleanup, r=compiler-errorsMatthias Krüger-1/+0
2024-03-28Restrict const ty's regions to static when putting them in canonical var listMichael Goulet-0/+4
2024-03-28Auto merge of #115220 - Zoxc:revive-gcx-ptr, r=oli-obkbors-3/+54
2024-03-28Auto merge of #116891 - aliemjay:opaque-region-infer-rework-2, r=compiler-err...bors-0/+32
2024-03-28remove `def_id_to_node_id` in ast loweringbohan-1/+0
2024-03-27Remove `Partial/Ord` from `EarlyParamRegion`Oli Scherer-1/+1