Can make it just `&*a as *T == &*b as *T`