{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// Requires that `ty` must implement the trait with `def_id` in
pub trait TraitEngine<'tcx, E: 'tcx>: 'tcx {
    /// the given environment. This trait must not have any type