-- This used to delaborate as `'''`, which is a parse error.

/--
info: '\''
-/
#guard_msgs in
#eval '\''