tree a53a571bafc6627a1e72fa27a1fc851a8a2240e5
parent b4d2a3ea8f2f74d5b2c09fd1bf0cbf8fda0eeb21
author Morten Krogh-Jespersen <mkroghj@google.com> 1642494576 +0100
committer Morten Krogh-Jespersen <mkroghj@google.com> 1642515073 +0000

Test for no substitution of raw super-type in parent

Bug: 214509535
Change-Id: I668f60628a7d84ae60f39848fba12f9f37a324d1