Paste: propagation limitation

: foo-1 ( a -- ? ) dup array? [ length ] [ drop 0 ] if ;
:: foo-2 ( a -- ? ) a array? [ a length ] [ 0 ] if ;

! foo-1 inlines 'length' but foo-2 does not