{"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"fn"}]}
    fn check_changed(&mut self, canonicalized: &Canonicalized<InEnvironment<Goal>>) -> bool {
    /// again -- it'll give the same result as last time.
        canonicalized.free_vars.iter().any(|var| {