{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"let"}]}
                        let sized_bound = WhereClause::Implemented(TraitRef {
                    if let Some(sized_trait_) = sized_trait {
                            trait_id: to_chalk_trait_id(sized_trait_),