text: // Distributed under the terms of the MIT license
  // Test case submitted to project by https://github.com/practicalswift (practicalswift)
  // Test case found by fuzzing
  
  struct S {
  class B<T where g: c> : T: T: c> : d: c
  class c
  struct g
  