SourcePosition.hashCode() was missing