This seems like it would be fairly useful for longer-form documentation. @alexcrichton mentioned http://doc.rust-lang.org/rustc/middle/typeck/infer/doc/ as a current workaround.