[record_use] Implementation: JSON: Nest line number and column in source location #2916
Description
Either both line number and column should be provided, or neither.
The best way to express this in the JSON is to nest them in an optional object SourceLocation with two required fields.
The Dart API would benefit from the same: a nullable field typed with a class with two required fields.