// RUN: %target-swift-frontend -emit-silgen %s | %FileCheck %s

class Foo {
  var bar: Bar!
}

class Bar {
  var bas: C!
}

class C {}
class D: C {}

// CHECK-LABEL: sil hidden @_TF27force_cast_chained_optional4testFCS_3FooCS_1D
// CHECK:         class_method %0 : $Foo, #Foo.bar!getter.1 : (Foo) -> () -> Bar! , $@convention(method) (@guaranteed Foo) ->
// CHECK:         select_enum_addr
// CHECK:         cond_br {{%.*}}, [[SOME_BAR:bb[0-9]+]], [[NO_BAR:bb[0-9]+]]
// CHECK:       [[NO_BAR]]:
// CHECK:         br [[TRAP:bb[0-9]+]]
// CHECK:       [[SOME_BAR]]:
// CHECK:         [[PAYLOAD_ADDR:%.*]] = unchecked_take_enum_data_addr {{%.*}} : $*Optional<Bar>
// CHECK:         [[BAR:%.*]] = load [[PAYLOAD_ADDR]]
// CHECK:         class_method {{%.*}} : $Bar, #Bar.bas!getter.1 : (Bar) -> () -> C! , $@convention(method) (@guaranteed Bar) ->
// CHECK:         unconditional_checked_cast {{%.*}} : $C to $D
// CHECK:       [[TRAP]]:
// CHECK:         unreachable
func test(_ x: Foo) -> D {
  return x.bar?.bas as! D
}
