File tree Expand file tree Collapse file tree 1 file changed +3
-9
lines changed Expand file tree Collapse file tree 1 file changed +3
-9
lines changed Original file line number Diff line number Diff line change @@ -15,9 +15,7 @@ fn placeholder_ty_flags_correct() {
15
15
#[ test]
16
16
fn opaque_ty_flags_correct ( ) {
17
17
let opaque_ty = TyKind :: Alias ( chalk_ir:: AliasTy :: Opaque ( chalk_ir:: OpaqueTy {
18
- opaque_ty_id : chalk_ir:: OpaqueTyId {
19
- 0 : chalk_integration:: interner:: RawId { index : 0 } ,
20
- } ,
18
+ opaque_ty_id : chalk_ir:: OpaqueTyId ( chalk_integration:: interner:: RawId { index : 0 } ) ,
21
19
substitution : chalk_ir:: Substitution :: from_iter (
22
20
ChalkIr ,
23
21
Some (
@@ -48,9 +46,7 @@ fn opaque_ty_flags_correct() {
48
46
fn dyn_ty_flags_correct ( ) {
49
47
let internal_ty = TyKind :: Scalar ( chalk_ir:: Scalar :: Bool ) . intern ( ChalkIr ) ;
50
48
let projection_ty = chalk_ir:: ProjectionTy {
51
- associated_ty_id : chalk_ir:: AssocTypeId {
52
- 0 : chalk_integration:: interner:: RawId { index : 0 } ,
53
- } ,
49
+ associated_ty_id : chalk_ir:: AssocTypeId ( chalk_integration:: interner:: RawId { index : 0 } ) ,
54
50
substitution : empty_substitution ! ( ) ,
55
51
} ;
56
52
let bounds = chalk_ir:: Binders :: < chalk_ir:: QuantifiedWhereClauses < ChalkIr > > :: empty (
@@ -110,9 +106,7 @@ fn static_and_bound_lifetimes() {
110
106
) ;
111
107
112
108
let ty = TyKind :: Adt (
113
- chalk_ir:: AdtId {
114
- 0 : chalk_integration:: interner:: RawId { index : 0 } ,
115
- } ,
109
+ chalk_ir:: AdtId ( chalk_integration:: interner:: RawId { index : 0 } ) ,
116
110
substitutions,
117
111
)
118
112
. intern ( ChalkIr ) ;
You can’t perform that action at this time.
0 commit comments