SI-7505 Test case for pattern matcher + type alias bug

Progressed along with SI-7214 in acd74cae09.