File tree Expand file tree Collapse file tree 1 file changed +10
-197
lines changed
tests/ui/stable-mir-print Expand file tree Collapse file tree 1 file changed +10
-197
lines changed Original file line number Diff line number Diff line change 22// If you find a bug or want to improve the output open a issue at https://github.com/rust-lang/project-stable-mir.
33fn foo(_0: i32) -> i32 {
44 let mut _0: (i32, bool);
5- }
5+
66 bb0: {
77 _2 = 1 Add const 1_i32
88 }
99 bb1: {
1010 _0 = move _2
1111 }
12- fn bar(_0: &mut Ty {
13- id: 10,
14- kind: RigidTy(
15- Adt(
16- AdtDef(
17- DefId {
18- id: 3,
19- name: "std::vec::Vec",
20- },
21- ),
22- GenericArgs(
23- [
24- Type(
25- Ty {
26- id: 11,
27- kind: Param(
28- ParamTy {
29- index: 0,
30- name: "T",
31- },
32- ),
33- },
34- ),
35- Type(
36- Ty {
37- id: 12,
38- kind: Param(
39- ParamTy {
40- index: 1,
41- name: "A",
42- },
43- ),
44- },
45- ),
46- ],
47- ),
48- ),
49- ),
50- }) -> Ty {
51- id: 10,
52- kind: RigidTy(
53- Adt(
54- AdtDef(
55- DefId {
56- id: 3,
57- name: "std::vec::Vec",
58- },
59- ),
60- GenericArgs(
61- [
62- Type(
63- Ty {
64- id: 11,
65- kind: Param(
66- ParamTy {
67- index: 0,
68- name: "T",
69- },
70- ),
71- },
72- ),
73- Type(
74- Ty {
75- id: 12,
76- kind: Param(
77- ParamTy {
78- index: 1,
79- name: "A",
80- },
81- ),
82- },
83- ),
84- ],
85- ),
86- ),
87- ),
88- } {
89- let mut _0: Ty {
90- id: 10,
91- kind: RigidTy(
92- Adt(
93- AdtDef(
94- DefId {
95- id: 3,
96- name: "std::vec::Vec",
97- },
98- ),
99- GenericArgs(
100- [
101- Type(
102- Ty {
103- id: 11,
104- kind: Param(
105- ParamTy {
106- index: 0,
107- name: "T",
108- },
109- ),
110- },
111- ),
112- Type(
113- Ty {
114- id: 12,
115- kind: Param(
116- ParamTy {
117- index: 1,
118- name: "A",
119- },
120- ),
121- },
122- ),
123- ],
124- ),
125- ),
126- ),
127- };
128- let mut _1: &Ty {
129- id: 10,
130- kind: RigidTy(
131- Adt(
132- AdtDef(
133- DefId {
134- id: 3,
135- name: "std::vec::Vec",
136- },
137- ),
138- GenericArgs(
139- [
140- Type(
141- Ty {
142- id: 11,
143- kind: Param(
144- ParamTy {
145- index: 0,
146- name: "T",
147- },
148- ),
149- },
150- ),
151- Type(
152- Ty {
153- id: 12,
154- kind: Param(
155- ParamTy {
156- index: 1,
157- name: "A",
158- },
159- ),
160- },
161- ),
162- ],
163- ),
164- ),
165- ),
166- };
167- let _2: ();
168- let mut _3: &mut Ty {
169- id: 10,
170- kind: RigidTy(
171- Adt(
172- AdtDef(
173- DefId {
174- id: 3,
175- name: "std::vec::Vec",
176- },
177- ),
178- GenericArgs(
179- [
180- Type(
181- Ty {
182- id: 11,
183- kind: Param(
184- ParamTy {
185- index: 0,
186- name: "T",
187- },
188- ),
189- },
190- ),
191- Type(
192- Ty {
193- id: 12,
194- kind: Param(
195- ParamTy {
196- index: 1,
197- name: "A",
198- },
199- ),
200- },
201- ),
202- ],
203- ),
204- ),
205- ),
206- };
20712}
13+ fn bar(_0: &mut std::vec::Vec) -> std::vec::Vec {
14+ let mut _0: std::vec::Vec;
15+ let mut _1: &std::vec::Vec;
16+ let _2: ();
17+ let mut _3: &mut std::vec::Vec;
18+
20819 bb0: {
20920 _3 = refShared1
21021 }
@@ -220,7 +31,9 @@ fn bar(_0: &mut Ty {
22031 }
22132 bb4: {
22233 }
223- fn main() -> () {
22434}
35+ fn main() -> () {
36+
22537 bb0: {
22638 }
39+ }
You can’t perform that action at this time.
0 commit comments