Thanks, @guillaumelagrange . The "name" field is intentionally optional to demonstrate the effect of the satisfies keyword. The NamedCircle type gives a "looser" contract than inferred by the variable declaration.
Does it make sense, or maybe I missed something?
Some comments have been hidden by the post's author - find out more
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Thanks, @guillaumelagrange . The "name" field is intentionally optional to demonstrate the effect of the
satisfieskeyword. TheNamedCircletype gives a "looser" contract than inferred by the variable declaration.Does it make sense, or maybe I missed something?