Skip to content

Commit 755159e

Browse files
clarusclarus
committed
wip
1 parent b801f78 commit 755159e

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

81 files changed

+6528
-7292
lines changed

‎CoqOfRust/alloc/borrow.json

Lines changed: 24 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -828,39 +828,37 @@
828828
{
829829
"name": "Borrowed",
830830
"item": {
831-
"Tuple": {
832-
"tys": [
833-
{
834-
"type": "Application",
835-
"func": {
836-
"type": "Path",
837-
"path": [
838-
"&"
839-
]
840-
},
841-
"consts": [],
842-
"tys": [
843-
{
844-
"type": "Var",
845-
"name": "B"
846-
}
831+
"type": "Tuple",
832+
"tys": [
833+
{
834+
"type": "Application",
835+
"func": {
836+
"type": "Path",
837+
"path": [
838+
"&"
847839
]
848-
}
849-
]
850-
}
840+
},
841+
"consts": [],
842+
"tys": [
843+
{
844+
"type": "Var",
845+
"name": "B"
846+
}
847+
]
848+
}
849+
]
851850
},
852851
"discriminant": null
853852
},
854853
{
855854
"name": "Owned",
856855
"item": {
857-
"Tuple": {
858-
"tys": [
859-
{
860-
"type": "Associated"
861-
}
862-
]
863-
}
856+
"type": "Tuple",
857+
"tys": [
858+
{
859+
"type": "Associated"
860+
}
861+
]
864862
},
865863
"discriminant": null
866864
}

‎CoqOfRust/alloc/collections/btree/map/entry.json

Lines changed: 62 additions & 64 deletions
Original file line numberDiff line numberDiff line change
@@ -38,78 +38,76 @@
3838
{
3939
"name": "Vacant",
4040
"item": {
41-
"Tuple": {
42-
"tys": [
43-
{
44-
"type": "Application",
45-
"func": {
46-
"type": "Path",
47-
"path": [
48-
"alloc",
49-
"collections",
50-
"btree",
51-
"map",
52-
"entry",
53-
"VacantEntry"
54-
]
55-
},
56-
"consts": [],
57-
"tys": [
58-
{
59-
"type": "Var",
60-
"name": "K"
61-
},
62-
{
63-
"type": "Var",
64-
"name": "V"
65-
},
66-
{
67-
"type": "Var",
68-
"name": "A"
69-
}
41+
"type": "Tuple",
42+
"tys": [
43+
{
44+
"type": "Application",
45+
"func": {
46+
"type": "Path",
47+
"path": [
48+
"alloc",
49+
"collections",
50+
"btree",
51+
"map",
52+
"entry",
53+
"VacantEntry"
7054
]
71-
}
72-
]
73-
}
55+
},
56+
"consts": [],
57+
"tys": [
58+
{
59+
"type": "Var",
60+
"name": "K"
61+
},
62+
{
63+
"type": "Var",
64+
"name": "V"
65+
},
66+
{
67+
"type": "Var",
68+
"name": "A"
69+
}
70+
]
71+
}
72+
]
7473
},
7574
"discriminant": null
7675
},
7776
{
7877
"name": "Occupied",
7978
"item": {
80-
"Tuple": {
81-
"tys": [
82-
{
83-
"type": "Application",
84-
"func": {
85-
"type": "Path",
86-
"path": [
87-
"alloc",
88-
"collections",
89-
"btree",
90-
"map",
91-
"entry",
92-
"OccupiedEntry"
93-
]
94-
},
95-
"consts": [],
96-
"tys": [
97-
{
98-
"type": "Var",
99-
"name": "K"
100-
},
101-
{
102-
"type": "Var",
103-
"name": "V"
104-
},
105-
{
106-
"type": "Var",
107-
"name": "A"
108-
}
79+
"type": "Tuple",
80+
"tys": [
81+
{
82+
"type": "Application",
83+
"func": {
84+
"type": "Path",
85+
"path": [
86+
"alloc",
87+
"collections",
88+
"btree",
89+
"map",
90+
"entry",
91+
"OccupiedEntry"
10992
]
110-
}
111-
]
112-
}
93+
},
94+
"consts": [],
95+
"tys": [
96+
{
97+
"type": "Var",
98+
"name": "K"
99+
},
100+
{
101+
"type": "Var",
102+
"name": "V"
103+
},
104+
{
105+
"type": "Var",
106+
"name": "A"
107+
}
108+
]
109+
}
110+
]
113111
},
114112
"discriminant": null
115113
}

‎CoqOfRust/alloc/collections/btree/merge_iter.json

Lines changed: 12 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -94,26 +94,24 @@
9494
{
9595
"name": "A",
9696
"item": {
97-
"Tuple": {
98-
"tys": [
99-
{
100-
"type": "Associated"
101-
}
102-
]
103-
}
97+
"type": "Tuple",
98+
"tys": [
99+
{
100+
"type": "Associated"
101+
}
102+
]
104103
},
105104
"discriminant": null
106105
},
107106
{
108107
"name": "B",
109108
"item": {
110-
"Tuple": {
111-
"tys": [
112-
{
113-
"type": "Associated"
114-
}
115-
]
116-
}
109+
"type": "Tuple",
110+
"tys": [
111+
{
112+
"type": "Associated"
113+
}
114+
]
117115
},
118116
"discriminant": null
119117
}

0 commit comments

Comments
 (0)