fn equals<'tcx>(a: Ty<'tcx>, b: Ty<'tcx>) -> bool