Test case to show that #16252 works with transparent (#16262)
Test case to show that #16252 works with transparent (#16262)

Closes #16252
sjrd/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty