Anchors may drag you down.

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.