Messages appear in strange place.

Stream: general

[Asei Inoue]

def foo (n : Nat) : Nat := n

/--
info: hey!
10
-/
#guard_msgs in
#eval foo (dbg_trace "hey!"; 10)

/--
info: Try this: exact USize.size
---
info: hey!
18446744073709551616
-/
#guard_msgs in
#eval foo (dbg_trace "hey!"; by exact?)

-- ↓  I don't know why the message appears at `/--`.

/-- info: 18446744073709551616 -/
#guard_msgs in
#eval foo (by dbg_trace "hey!"; exact USize.size)