validation-test/compiler_crashers_2/0105-sr5050.swift

// RUN: not --crash %target-swift-frontend %s -typecheck
// REQUIRES: asserts

protocol P {}

func bar(p: P?) {
  foo(p is String)
}
    
func foo<T>(_: T, _: T) {}
func foo<T>(_: T?, _: T?) {}