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

// See <rdar://32555384> 
// XFAIL: *

protocol P {}

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


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

protocol P {}

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


Undo the XFAIL of this test
Undo the XFAIL of this test

Hmm, seems not to reproduce on the bots?!

See <rdar://32555384>