Lines Matching full:instantiated
1395 // explicitly instantiated, so they should not be emitted eagerly.
