tree 5e7c56daf76129c52091c54c7588696449ba0485
parent d0a656ecd4876c83ed5fd1bac71f6b3a5f27bd84
author Ian Zerny <zerny@google.com> 1695633757 +0200
committer Ian Zerny <zerny@google.com> 1695641644 +0000

Check against original type for qualified mapping entries

Change-Id: I235295b8a66d5f50496cd06f49babb0f9800816d