Redirecting to
fn.user_annotated_ty_for_def.html
...