@@ -423,7 +423,7 @@ impl<'arena, 'env, 'data> Context<'arena, 'env, 'data> {
423423 ( Prim :: FormatLimit16 , [ FunApp ( limit) , FunApp ( format) ] ) => self . read_limit ( reader, limit, format) ,
424424 ( Prim :: FormatLimit32 , [ FunApp ( limit) , FunApp ( format) ] ) => self . read_limit ( reader, limit, format) ,
425425 ( Prim :: FormatLimit64 , [ FunApp ( limit) , FunApp ( format) ] ) => self . read_limit ( reader, limit, format) ,
426- ( Prim :: FormatLink , [ FunApp ( pos) , FunApp ( format) ] ) => self . read_link ( pos, format) ,
426+ ( Prim :: FormatLink , [ FunApp ( pos) , FunApp ( format) ] ) => self . read_link ( span , pos, format) ,
427427 ( Prim :: FormatDeref , [ FunApp ( format) , FunApp ( r#ref) ] ) => self . read_deref ( format, r#ref) ,
428428 ( Prim :: FormatStreamPos , [ ] ) => read_stream_pos ( reader, span) ,
429429 ( Prim :: FormatSucceed , [ _, FunApp ( elem) ] ) => Ok ( elem. clone ( ) ) ,
@@ -513,6 +513,7 @@ impl<'arena, 'env, 'data> Context<'arena, 'env, 'data> {
513513
514514 fn read_link (
515515 & mut self ,
516+ span : Span ,
516517 pos_value : & ArcValue < ' arena > ,
517518 elem_format : & ArcValue < ' arena > ,
518519 ) -> Result < ArcValue < ' arena > , ReadError < ' arena > > {
@@ -523,10 +524,7 @@ impl<'arena, 'env, 'data> Context<'arena, 'env, 'data> {
523524
524525 self . pending_formats . push ( ( pos, elem_format. clone ( ) ) ) ;
525526
526- Ok ( SpanValue (
527- pos_value. span ( ) ,
528- Arc :: new ( Value :: ConstLit ( Const :: Ref ( pos) ) ) ,
529- ) )
527+ Ok ( SpanValue ( span, Arc :: new ( Value :: ConstLit ( Const :: Ref ( pos) ) ) ) )
530528 }
531529
532530 fn read_deref (
0 commit comments