source-layer should be prohibited for layers whose source is a GeoJSON layer, not merely ignored, or in the example of https://github.com/mapbox/mapbox-gl-js/issues/3779, used in a way that prevents the layer from displaying at all.
Marking this as v9 as it would be an increase in strictness that that's likely to affect existing styles, including ones used with the current styles API.
source-layer
should be prohibited for layers whose source is a GeoJSON layer, not merely ignored, or in the example of https://github.com/mapbox/mapbox-gl-js/issues/3779, used in a way that prevents the layer from displaying at all.Marking this as v9 as it would be an increase in strictness that that's likely to affect existing styles, including ones used with the current styles API.