Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove is_local check since getting the def_id directly makes it unne…
…cessary
- Loading branch information