tree 253dffaafe0578110e4c64b80b67c90815ed6840
parent 9e65d69be3095cf91f936040b29c63b9a157e585
author Morten Krogh-Jespersen <mkroghj@google.com> 1588149849 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1588149877 +0000

Add -dontusemixedcase test showing that we can pick clashing names

Bug: 155240931
Change-Id: I438e041a9ca2479ee1e86c7fc21530d7d89de738