In Wall's paper Unknotting tori in codimension one and spheres in codimension two, he states the following conjecture:
Any $h$-cobordism of $S^3 \times S^1$ to itself is diffeomorphic to $S^3 \times S^1 \times I$.
What is the status of this conjecture?