✎ After Jackhammer - closed casts