From ddce645ef006ac86109a7dfe8cc9d3565598fbf0 Mon Sep 17 00:00:00 2001 From: Yip Coekjan <69834864+Coekjan@users.noreply.github.com> Date: Sat, 22 Jun 2024 16:40:10 +0800 Subject: =?UTF-8?q?Add=20named=20symbols:=20`=E2=8C=88`,=20`=E2=8C=89`,=20?= =?UTF-8?q?`=E2=8C=8A`,=20`=E2=8C=8B`=20(#4267)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/src') diff --git a/docs/src/lib.rs b/docs/src/lib.rs index 231fe97c..7575817a 100644 --- a/docs/src/lib.rs +++ b/docs/src/lib.rs @@ -542,7 +542,7 @@ fn group_page( let mut outline_items = vec![]; for name in &group.filter { let value = group.module().scope().get(name).unwrap(); - let Value::Func(func) = value else { panic!("not a function") }; + let Ok(ref func) = value.clone().cast::() else { panic!("not a function") }; let func = func_model(resolver, func, &path, true); let id_base = urlify(&eco_format!("functions-{}", func.name)); let children = func_outline(&func, &id_base); -- cgit v1.2.3