Understanding EvaluationData in messages context

Question

Can I Quiet my procedure and still get messages info from inner EvaluationData?

This works fine:

EvaluationData[1/0]["MessagesExpressions"]

{Hold[Message[Power::infy, 1/0]]}

but I don't want to propagate messages up so I use Quiet:

Quiet @ EvaluationData[1/0]["MessagesExpressions"]

{}

I didn't expect that since Quiet is outer to EvaluationData.

It seems inconsistent with respect to Check behavior:

Quiet @ Check[1/0, err]

err

Here inner messages are captured correctly.

What am I missing?

Answer 1

The definition of EvaluationData can be read with PrintDefinitions from the GeneralUtilites package, wherein we see:

handleMessage = logMessage[$messages, #1] &;
Internal`AddHandler["Message", handleMessage];

The definition of logMessage includes:

CloudObject`Private`logMessage[bag_, Hold[Message[___], False]] := Null;

When you use Quiet the message expression form Hold[_Message, False] is producted, so logMessage is expressly omitting these messages from its collection.

---

To get all messages as you apparently want you can replace that definition:

EvaluationData[1]; (* preload - do not remove *)

CloudObject`Private`logMessage[bag_, Hold[Message[___], False]] =.;

self : CloudObject`Private`logMessage[_, Hold[_Message, False]] := 
  ReplacePart[Unevaluated@self, {2, -1} -> True]


Quiet @ EvaluationData[1/0]["MessagesExpressions"]

{Hold[Message[Power::infy,1/0]]}