| // RUN: %target-swift-frontend -typecheck %s -verify | |
| class ContainerTransition { | |
| var viewControllers: [Int: String]? | |
| func completeTransition() { | |
| viewControllers?[Int//.max | |
| // expected-error@-1 {{no exact matches in call to subscript}} | |
| // expected-note@-2 {{found candidate with type '((Int).Type) -> Dictionary<Int, String>.SubSequence' (aka '(Int.Type) -> Slice<Dictionary<Int, String>>')}} | |
| // expected-note@-3 {{to match this opening '['}} | |
| } // expected-error {{expected ']' in expression list}} | |
| } |