I'm sure this is standard but I don't know where to look. Let $M$ be a contractible compact smooth $n$-manifold with boundary. Does it have to be homeomorphic to $D^n$? What about diffeomorphic? If not, there is more to say about $M$: there is a Riemannian metric on $M$ such that every two points are connected by a unique shortest path. So $M$ can be contracted to a point $p\in M$ by sending every point along a shortest path to $p$. These paths can bend along the boundary and can merge because of this. But they are relatively nice (namely $C^{1,1}$) curves and their first derivatives depend continuously on their endpoints. Given all this, can one conclude that $M$ is a disc?