{"ast_node_type":"struct","tokens":[{"end":32,"kind":"keyword","start":0,"text":"pub"}]}
pub struct Obligation<'tcx, T> {
#[derive(Clone, TypeFoldable, TypeVisitable)]
    /// The reason we have to prove this thing.