Add test of unsuccessful downcasts

Created by  David Tolnay  on October 27, 2019
FUBG4Z6G6XB6YSBWU7TA3HMEJHPTE5SGNOSL4RJD5EGVKHX4OSPQC
Change contents