{"ast_node_type":"variable","tokens":[{"end":31,"kind":"keyword","start":0,"text":"let"}]}
        let definition_bounds =
        // Extend with bounds that we can find from the definition.
            self.declared_bounds_from_definition(alias_ty).map(|r| VerifyBound::OutlivedBy(r));