Anchors are a Real Good Thing (TM). But the compiler is pretty involved in their evaluation.
Liberty will use the same strategy as SmartEiffel: feature specialization. Each type specializes its features to eliminate anchors while correctly resolving them.
This creates a full flotilla of features... but their buoyancy is improved.