summary refs log tree commit diff
path: root/src/test/ui/const-generics/const_evaluatable_checked
AgeCommit message (Expand)AuthorLines
2020-10-01Rollup merge of #77303 - lcnr:const-evaluatable-TooGeneric, r=oli-obk,varkorDylan DPC-28/+48
2020-09-28const evaluatable: improve `TooGeneric` handlingBastian Kauschke-28/+48
2020-09-26Fix UI test falloutvarkor-1/+1
2020-09-26Make invalid integer operation messages consistentvarkor-1/+1
2020-09-24update testsBastian Kauschke-2/+4
2020-09-24visit impl self ty + traitBastian Kauschke-0/+25
2020-09-24assign the correct `DefId` in `nominal_obligations`Bastian Kauschke-3/+3
2020-09-24walk hir to get const evaluatable predicatesBastian Kauschke-14/+12
2020-09-24const_evaluatable_checked: collect predicates from fn_sigBastian Kauschke-1/+54
2020-09-21reviewBastian Kauschke-18/+9
2020-09-21add test for closures in abstract constsBastian Kauschke-0/+21
2020-09-21bless testsBastian Kauschke-10/+20
2020-09-18support const_evaluatable_checked across crate boundariesBastian Kauschke-0/+73
2020-09-18add test for let-bindingsBastian Kauschke-0/+33
2020-09-18add function callsBastian Kauschke-0/+30
2020-09-18allow unary operations and ignore StorageLive/Dead stmtsBastian Kauschke-0/+14
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-8/+15
2020-09-18initial working stateBastian Kauschke-0/+14
2020-09-11Add revisions to const generic const_evaluatable_checked tests.Hameer Abbasi-9/+50
2020-09-10fix tidy, small cleanupBastian Kauschke-0/+24
2020-09-10implement `const_evaluatable_checked` feature MVPBastian Kauschke-0/+35