Broadly speaking, the idea is that you should be able to create an accessor
decorator that doesn't expose a setter.
I think the most natural way to express this is for the set
function returned by an accessor decorator to have a never
return type. The idea is that such a decorator would result in the type system treating the resulting field as if it was a manually written getter without a setter.
Here's an example scenario:
import { Friend } from "hypothetical-lib";