…uare brackets #KT-2490 Fixed
for easier 'type inference expected type mismatch' reporting
* dependent on expected type + get rid of instanceof ResolvedCallImpl check
…is syntactically incorrect #KT-3378 Fixed
This makes possible to mark diagnostic errors when syntax error are present (by overriding isValid in PositioningStrategy subclasses).
…ter for convenience)