Function check 

pub fn check(
    collection: &str,
    stored: &Desc,
    opening: &Desc,
    by: Option<&Provenance>,
) -> Result<()>

The check a typed handle runs when it opens a collection.

An empty stored description means the collection was created over RESP3 and has no shape, which is not an error: it is checked per element instead (15 section 3.3).

The compatibility list that makes an additive change open silently lives in the catalogue and arrives with it. Until then an additive change is reported like any other, and says that it is additive.

Errors

Code::ShapeMismatch, with both shapes rendered, the difference underlined, and change=additive or change=breaking in the detail.