{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// A trivial cast is a cast `e as T` where `e` has type `U` and `U` is a
    ///
    /// subtype of `T`. This type of cast is usually unnecessary, as it can be