librustc: De-record the type context. rs=derecordification