Micro-optimization: Make denotAt inlineable
Micro-optimization: Make denotAt inlineable

Reduces the size of denotAt from 37 to 32 bytes, which should
theoretically make it eligible for inlining.

denotAt showed up at 2% of total execution time in my profile.

lampepfl/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,som-snytt/dotty,som-snytt/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty