Skip to content

Commit

Permalink
Commit test outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
@Nadrieril
Nadrieril committed Sep 13, 2024
1 parent 3884362 commit d6fb8df
Show file tree
Hide file tree
Showing 28 changed files with 714 additions and 714 deletions.
28 changes: 14 additions & 14 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,57 +16,57 @@ info:
always_inspect_bm: false
---
real, m ⊢ p0: T0, real, m ⊢ p1: T1
--------------------------------------- "Constructor"
----------------------------------- "Constructor"
_, m ⊢ [p0, p1]: [T0, T1]

inh, ro ⊢ p0: &T0, inh, ro ⊢ p1: &T1
----------------------------------------- "ConstructorRef"
------------------------------------- "ConstructorRef"
r, m ⊢ [p0, p1]: &[T0, T1]

inh, m ⊢ p0: &mut T0, inh, m ⊢ p1: &mut T1
----------------------------------------------- "ConstructorRef"
------------------------------------------- "ConstructorRef"
r, m ⊢ [p0, p1]: &mut [T0, T1]

inh, ro ⊢ [p0, p1]: &T
------------------------ "ConstructorMultiRef"
---------------------- "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &&T

inh, ro ⊢ [p0, p1]: &T
-------------------------- "ConstructorMultiRef"
------------------------ "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &&mut T

inh, ro ⊢ [p0, p1]: &T
-------------------------- "ConstructorMultiRef"
------------------------ "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &mut &T

inh, m ⊢ [p0, p1]: &mut T
------------------------------ "ConstructorMultiRef"
---------------------------- "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &mut &mut T

real, ro ⊢ p: T
----------------- "Deref"
--------------- "Deref"
r, m ⊢ &p: &T

real, m ⊢ p: T
----------------------- "Deref"
--------------------- "Deref"
r, m ⊢ &mut p: &mut T

real, ro ⊢ p: T
------------------- "DerefMutWithShared"
----------------- "DerefMutWithShared"
r, m ⊢ &p: &mut T

inh, m ⊢ x: &T
-------------------- "BindingBorrow"
------------------ "BindingBorrow"
real, m ⊢ ref x: T

inh, m ⊢ x: &mut T
------------------------ "BindingBorrow"
---------------------- "BindingBorrow"
real, m ⊢ ref mut x: T


------------- "Binding"
----------- "Binding"
r, m ⊢ x: T


----------------- "Binding"
--------------- "Binding"
r, m ⊢ mut x: T
46 changes: 23 additions & 23 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,93 +16,93 @@ info:
always_inspect_bm: false
---
move, m ⊢ p0: T0, move, m ⊢ p1: T1
--------------------------------------- "Constructor"
----------------------------------- "Constructor"
move, m ⊢ [p0, p1]: [T0, T1]

ref, ro ⊢ p0: T0, ref, ro ⊢ p1: T1
--------------------------------------- "ConstructorRef"
----------------------------------- "ConstructorRef"
move, m ⊢ [p0, p1]: &[T0, T1]

ref, ro ⊢ p0: T0, ref, ro ⊢ p1: T1
--------------------------------------- "ConstructorRef"
----------------------------------- "ConstructorRef"
ref, m ⊢ [p0, p1]: [T0, T1]

ref mut, m ⊢ p0: T0, ref mut, m ⊢ p1: T1
--------------------------------------------- "ConstructorRef"
----------------------------------------- "ConstructorRef"
move, m ⊢ [p0, p1]: &mut [T0, T1]

ref mut, m ⊢ p0: T0, ref mut, m ⊢ p1: T1
--------------------------------------------- "ConstructorRef"
----------------------------------------- "ConstructorRef"
ref mut, m ⊢ [p0, p1]: [T0, T1]

ref, ro ⊢ [p0, p1]: T
------------------------- "ConstructorMultiRef"
----------------------- "ConstructorMultiRef"
move, m ⊢ [p0, p1]: &&T

ref, ro ⊢ [p0, p1]: T
----------------------------- "ConstructorMultiRef"
--------------------------- "ConstructorMultiRef"
move, m ⊢ [p0, p1]: &&mut T

ref, ro ⊢ [p0, p1]: T
----------------------- "ConstructorMultiRef"
--------------------- "ConstructorMultiRef"
ref, m ⊢ [p0, p1]: &T

ref, ro ⊢ [p0, p1]: T
--------------------------- "ConstructorMultiRef"
------------------------- "ConstructorMultiRef"
ref, m ⊢ [p0, p1]: &mut T

ref, ro ⊢ [p0, p1]: T
----------------------------- "ConstructorMultiRef"
--------------------------- "ConstructorMultiRef"
move, m ⊢ [p0, p1]: &mut &T

ref mut, m ⊢ [p0, p1]: T
--------------------------------- "ConstructorMultiRef"
------------------------------- "ConstructorMultiRef"
move, m ⊢ [p0, p1]: &mut &mut T

ref, ro ⊢ [p0, p1]: T
--------------------------- "ConstructorMultiRef"
------------------------- "ConstructorMultiRef"
ref mut, m ⊢ [p0, p1]: &T

ref mut, m ⊢ [p0, p1]: T
------------------------------- "ConstructorMultiRef"
----------------------------- "ConstructorMultiRef"
ref mut, m ⊢ [p0, p1]: &mut T

move, ro ⊢ p: T
------------------ "Deref"
---------------- "Deref"
move, m ⊢ &p: &T

move, ro ⊢ p: T
----------------- "Deref"
--------------- "Deref"
ref, m ⊢ &p: T

move, m ⊢ p: T
-------------------------- "Deref"
------------------------ "Deref"
move, m ⊢ &mut p: &mut T

move, m ⊢ p: T
------------------------ "Deref"
---------------------- "Deref"
ref mut, m ⊢ &mut p: T

move, ro ⊢ p: T
---------------------- "DerefMutWithShared"
-------------------- "DerefMutWithShared"
move, m ⊢ &p: &mut T

move, ro ⊢ p: T
-------------------- "DerefMutWithShared"
------------------ "DerefMutWithShared"
ref mut, m ⊢ &p: T

ref, m ⊢ x: T
-------------------- "BindingBorrow"
------------------ "BindingBorrow"
move, m ⊢ ref x: T

ref mut, m ⊢ x: T
------------------------ "BindingBorrow"
---------------------- "BindingBorrow"
move, m ⊢ ref mut x: T


-------------- "Binding"
------------ "Binding"
bm, m ⊢ x: T


------------------ "Binding"
---------------- "Binding"
bm, m ⊢ mut x: T
62 changes: 31 additions & 31 deletions tests/snapshots/[email protected]
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,125 +16,125 @@ info:
always_inspect_bm: false
---
real, m ⊢ p0: T0, real, m ⊢ p1: T1
--------------------------------------- "Constructor"
----------------------------------- "Constructor"
_, m ⊢ [p0, p1]: [T0, T1]

inh, ro ⊢ p0: &T0, inh, ro ⊢ p1: &T1
----------------------------------------- "ConstructorRef"
------------------------------------- "ConstructorRef"
r, m ⊢ [p0, p1]: &[T0, T1]

inh, rw ⊢ p0: &mut T0, inh, rw ⊢ p1: &mut T1
------------------------------------------------- "ConstructorRef"
--------------------------------------------- "ConstructorRef"
r, rw ⊢ [p0, p1]: &mut [T0, T1]

inh, ro ⊢ p0: &T0, inh, ro ⊢ p1: &T1
----------------------------------------- "ConstructorRef(ForceReadOnly)"
------------------------------------- "ConstructorRef(ForceReadOnly)"
r, ro ⊢ [p0, p1]: &mut [T0, T1]

inh, ro ⊢ [p0, p1]: &T
------------------------ "ConstructorMultiRef"
---------------------- "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &&T

inh, ro ⊢ [p0, p1]: &T
-------------------------- "ConstructorMultiRef"
------------------------ "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &&mut T

inh, ro ⊢ [p0, p1]: &T
-------------------------- "ConstructorMultiRef"
------------------------ "ConstructorMultiRef"
r, m ⊢ [p0, p1]: &mut &T

inh, rw ⊢ [p0, p1]: &mut T
------------------------------- "ConstructorMultiRef"
----------------------------- "ConstructorMultiRef"
r, rw ⊢ [p0, p1]: &mut &mut T

inh, ro ⊢ [p0, p1]: &T
------------------------------- "ConstructorMultiRef(ForceReadOnly)"
----------------------------- "ConstructorMultiRef(ForceReadOnly)"
r, ro ⊢ [p0, p1]: &mut &mut T

real, ro ⊢ p: T
------------------ "Deref(EatOuter)"
---------------- "Deref(EatOuter)"
real, m ⊢ &p: &T

_, ro ⊢ p: T
--------------------------------------- "Deref(EatOuter)"
------------------------------------- "Deref(EatOuter)"
inh, m ⊢ &p: &T, T is not a reference

real, m ⊢ p: T
-------------------------- "Deref(EatOuter)"
------------------------ "Deref(EatOuter)"
real, m ⊢ &mut p: &mut T

_, m ⊢ p: T
----------------------------------------------- "Deref(EatOuter)"
--------------------------------------------- "Deref(EatOuter)"
inh, m ⊢ &mut p: &mut T, T is not a reference

inh, ro ⊢ p: &T
------------------ "Deref(EatInner)"
---------------- "Deref(EatInner)"
inh, m ⊢ &p: &&T

inh, m ⊢ p: &T
-------------------------- "Deref(EatInner)"
------------------------ "Deref(EatInner)"
inh, m ⊢ &mut p: &&mut T

inh, rw ⊢ p: &mut T
------------------------------- "Deref(EatInner)"
----------------------------- "Deref(EatInner)"
inh, rw ⊢ &mut p: &mut &mut T

r, m ⊢ p: &T
-------------------------- "Deref(EatInner, FallbackToOuter)"
------------------------ "Deref(EatInner, FallbackToOuter)"
inh, m ⊢ &mut p: &mut &T

inh, ro ⊢ p: &T
---------------------- "Deref(EatInner, ForceReadOnly)"
-------------------- "Deref(EatInner, ForceReadOnly)"
inh, m ⊢ &p: &mut &T

inh, ro ⊢ p: &T
------------------------------- "Deref(EatInner, ForceReadOnly)"
----------------------------- "Deref(EatInner, ForceReadOnly)"
inh, ro ⊢ &mut p: &mut &mut T

real, ro ⊢ p: T
---------------------- "DerefMutWithShared(EatOuter)"
-------------------- "DerefMutWithShared(EatOuter)"
real, m ⊢ &p: &mut T

_, ro ⊢ p: T
------------------------------------------- "DerefMutWithShared(EatOuter)"
----------------------------------------- "DerefMutWithShared(EatOuter)"
inh, m ⊢ &p: &mut T, T is not a reference

inh, ro ⊢ p: &T
---------------------- "DerefMutWithShared(EatInner)"
-------------------- "DerefMutWithShared(EatInner)"
inh, m ⊢ &p: &&mut T

inh, ro ⊢ p: &T
-------------------------- "DerefMutWithShared(EatInner)"
------------------------ "DerefMutWithShared(EatInner)"
inh, m ⊢ &p: &mut &mut T

r, m ⊢ ref x: T
-------------------- "RefBindingResetBindingMode"
------------------ "RefBindingResetBindingMode"
inh, m ⊢ ref x: &T

r, m ⊢ ref x: T
------------------------ "RefBindingResetBindingMode"
---------------------- "RefBindingResetBindingMode"
inh, m ⊢ ref x: &mut T

r, m ⊢ ref mut x: T
------------------------ "RefBindingResetBindingMode"
---------------------- "RefBindingResetBindingMode"
inh, m ⊢ ref mut x: &T

r, m ⊢ ref mut x: T
---------------------------- "RefBindingResetBindingMode"
-------------------------- "RefBindingResetBindingMode"
inh, m ⊢ ref mut x: &mut T

inh, m ⊢ x: &T
-------------------- "BindingBorrow"
------------------ "BindingBorrow"
real, m ⊢ ref x: T

inh, m ⊢ x: &mut T
------------------------ "BindingBorrow"
---------------------- "BindingBorrow"
real, m ⊢ ref mut x: T


------------- "Binding"
----------- "Binding"
r, m ⊢ x: T


-------------------- "Binding"
------------------ "Binding"
real, m ⊢ mut x: T
Loading

0 comments on commit d6fb8df

Please sign in to comment.