summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
2022-05-10Introduce EarlyBinderJack Huey-3/+5
2022-04-13Auto merge of #94255 - b-naber:use-mir-constant-in-thir, r=oli-obkbors-0/+1
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-9/+6
2022-04-06get rid of visit_constant in thir visitorb-naber-4/+0
2022-04-02rebase and use ty::Const in patterns againb-naber-52/+0
2022-04-02do use ty::Const in patterns and abstract constsb-naber-9/+8
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-3/+61
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-27Make fatal DiagnosticBuilder yield neverMichael Goulet-2/+1
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-77/+110
2022-03-23dont use a query for lit_to_constantb-naber-1/+1
2022-03-23use NonHirLiteral instead of ScalarLiteral, move pattern related code to pat_...b-naber-12/+17
2022-03-23move ExprKind::Repeat arm to expr_is_polyb-naber-10/+10
2022-03-23use ParamConst in ExprKind::ConstParamb-naber-2/+6
2022-03-23remove thir::Visitor::visit_constb-naber-8/+18
2022-03-23change thir to lazily create constantsb-naber-8/+60
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-8/+4
2022-03-22dont canonicalize in try_unify_abstract_consts and erase regions insteadb-naber-21/+12
2022-03-22fix previous failures and address reviewb-naber-96/+112
2022-03-21try to evaluate in try_unifyb-naber-29/+59
2022-03-16rustc_error: make ErrorReported impossible to constructmark-14/+13
2022-03-10Rollup merge of #94440 - compiler-errors:issue-94282, r=lcnrMatthias Krüger-25/+63
2022-03-09suggest enabling generic_const_exprs feature if const is unevaluatableMichael Goulet-25/+63
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-16/+16
2022-02-15Overhaul `Const`.Nicholas Nethercote-6/+11
2022-01-17Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieubors-1/+1
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-37/+21
2022-01-15initial revertEllen-28/+43
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-1/+1
2021-12-05Rollup merge of #90529 - b-naber:reborrows-consts, r=lcnrMatthias Krüger-5/+17
2021-12-05skip reborrows during AbstractConst buildingb-naber-5/+17
2021-11-07Give inline const separate DefKindGary Guo-2/+2
2021-10-21Rollup merge of #88644 - eopb:abstractconst_leaf_subst, r=lcnrYuki Okushi-15/+15
2021-10-20remove duplicate substEthan Brierley-1/+0
2021-10-19Address lcnr reviewEthan Brierley-3/+5
2021-10-08clippy::complexity fixesMatthias Krüger-3/+3
2021-10-04Move generic error message to separate brancheskadmin-43/+94
2021-09-09add test for builtin types N + N unifying with fn callEllen-3/+10
2021-09-09fmtEllen-1/+3
2021-09-09resolve `from_hir_call` FIXMEEllen-1/+0
2021-09-09add a `CastKind` to `Node::Cast`Ellen-7/+10
2021-09-09nitsEllen-20/+19
2021-09-09remove commentEllen-1/+1
2021-09-09rename mir -> thir around abstract constsEllen-6/+6
2021-09-09remove debug stmtsEllen-2/+1
2021-09-09remove `WorkNode`Ellen-51/+10
2021-09-09handle `ExprKind::NeverToAny`Ellen-2/+1
2021-09-09dont build abstract const for monomorphic constsEllen-1/+30
2021-09-09tidyEllen-16/+14
2021-09-09dont support blocksEllen-40/+11