On 10/4/2020 7:31 PM, Steven Schveighoffer wrote: > A *caller* can know that two parameters are aliased (trivially -- pass the same > parameter twice), and in that case, expect a certain outcome. Unfortunately, only in the trivial case can the caller detect it.