Because binding producer is going to attempt to unwrap optionals and try the type, which would lead to infinite recursion because dependent member types aren't bindable. Resolves: rdar://problem/44770297