Make pretty printing `TyKind::Def` do something
Make pretty printing `TyKind::Def` do something

aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust