search

ballerina-platform / ballerina-spec

Ballerina Language and Platform Specifications
Other
167 stars 53 forks source link

Need distinct error type for language errors from json and lax typing #806

Open jclark opened 3 years ago

jclark commented 3 years ago

Another case where the language generates an error is with json and lax typing.

Originally posted by @jclark in https://github.com/ballerina-platform/ballerina-spec/issues/689#issuecomment-757961763

jclark commented 3 years ago

There are two cases here:

  1. field-access-expr or optional-field-access-expr on something laxly typed (i.e. something related to json)
  2. check on a laxly typed expression in certain cases implicitly inserts a call to value:ensureType (relates to #134)