Yeah,...I mashed my thumb *bad* at work one day back when I was about 21, or so.
I don't specifically recall if I had any pot at the time,...probably did. But I didn't even consider using it for pain relief.
It would have just made me sit and think, "Holy chit!,..my thumb fuggin' hurts!"
I *did* drink a couple of bottles of wine,...which helped a bit.