{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"#[inline]"}]}
    #[inline]
    // We inline because this has a single call site in `Matrix::specialize_constructor`.
    pub(crate) fn is_covered_by(&self, cx: &Cx, other: &Self) -> Result<bool, Cx::Error> {