{"ast_node_type":"function","tokens":[{"end":69,"kind":"keyword","start":0,"text":"fn"}]}
    fn unify(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx> {
    /// Unify two types (using sub or lub).
        self.unify_raw(a, b)