Use utils::opt_def_id() instead of def_id() to prevent ICE#2867

Merged

flip1995 merged 1 commit intorust-lang:masterfrom flip1995:ice-2865

Jun 25, 2018

+17-3

Commits on Jun 25, 2018

Use utils::opt_def_id() instead of def_id() to prevent ICE
flip1995
committed