Are instances local compile-time known?

[jaehyun1ee]

A follow-up issue from #1305.

Section 18.1. Compile-time known and local compile-time known values lists,

Instances constructed by instance declarations (Section 11.3) and constructor invocations.

as a local compile-time known value.

But since constructor arguments are compile-time known, shouldn't instances also be compile-time known? Or are there cases where we need instances to be local compile-time known?

[ChrisDodd]

"local compile-time known" is more restrictive than "compile-time-known", so this is more a matter of instances being allowed to be local compile time known, even though their constructor arguments may not be.