swift234

[Import as member] Import as implicit final.

Mark the inferred final attribute as implicit, as we care about
bringing in the right semantics, but don't need to print back that
fact.