Jack Huey
328fcee4af
Make BoundRegion have a kind of BoungRegionKind
2020-12-18 15:27:28 -05:00
Matthias Krüger
1734f9c291
remove redundant clones
2020-12-05 12:59:54 +01:00
bors
e0ef0fc392
Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obk
...
Introduce `TypeVisitor::BreakTy`
Implements MCP rust-lang/compiler-team#383 .
r? `@ghost`
cc `@lcnr` `@oli-obk`
~~Blocked on FCP in rust-lang/compiler-team#383.~~
2020-11-17 12:24:34 +00:00
Bastian Kauschke
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
LeSeulArtichaut
f6e6a15f07
Remove dead TypeFoldable::visit_tys_shallow method
2020-11-15 14:45:41 +01:00
LeSeulArtichaut
65cdc21f06
Set the default BreakTy to !
2020-11-14 21:46:39 +01:00
LeSeulArtichaut
44f7d8fcf6
Use TypeVisitor::BreakTy in HasEscapingVarsVisitor
2020-11-14 21:20:10 +01:00
LeSeulArtichaut
29b140a1c3
Use TypeVisitor::BreakTy in HasTypeFlagsVisitor
2020-11-14 21:17:18 +01:00
LeSeulArtichaut
e0f3119103
Introduce TypeVisitor::BreakTy
2020-11-14 20:25:27 +01:00
bors
0d033dee3e
Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obk
...
TypeVisitor: use `std::ops::ControlFlow` instead of `bool`
Implements MCP rust-lang/compiler-team#374 .
Blocked on FCP in rust-lang/compiler-team#374 .
r? `@lcnr` cc `@jonas-schievink`
2020-10-30 22:53:55 +00:00
LeSeulArtichaut
9433eb83fe
Remove implicit Continue type
2020-10-30 12:27:47 +01:00
LeSeulArtichaut
24e1a7e656
Use ControlFlow::is{break,continue}
2020-10-30 12:27:46 +01:00
LeSeulArtichaut
2c85b6fae0
TypeVisitor: use std::ops::ControlFlow instead of bool
2020-10-30 12:25:24 +01:00
Jack Huey
41ce397990
Make anonymous binders start at 0
2020-10-29 18:50:23 -04:00
Bastian Kauschke
972d9e886c
move visit_predicate into TypeVisitor
2020-10-23 13:58:32 +02:00
est31
d7791f485b
Remove unused code from rustc_middle
2020-10-14 04:14:32 +02:00
Bastian Kauschke
925cd26162
don't take TyCtxt by reference
2020-09-18 20:49:25 +02:00
LeSeulArtichaut
4d28a82c59
ty.flags -> ty.flags()
2020-09-04 18:28:20 +02:00
LeSeulArtichaut
3e14b684dd
Change ty.kind to a method
2020-09-04 17:47:51 +02:00
mark
9e5f7d5631
mv compiler to compiler/
2020-08-30 18:45:07 +03:00
