From 5afd760834b753c2bd2139e93e2420d7aa7d4790 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Mon, 21 Oct 2013 12:10:57 -0700
Subject: [PATCH] syntax: Add the Bug Report HOWTO URL to the ICE message

And also reference the bug report HOWTO in CONTRIBUTING.md
---
 CONTRIBUTING.md             | 6 ++++++
 src/libsyntax/diagnostic.rs | 6 +++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 56be6c3ec78..2684ea2d9a0 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,3 +1,9 @@
+## How to submit a bug report
+
+If you're just reporting a bug, please see:
+
+https://github.com/mozilla/rust/wiki/HOWTO-submit-a-Rust-bug-report
+
 ## Pull request procedure
 
 Pull requests should be targeted at Rust's `master` branch.
diff --git a/src/libsyntax/diagnostic.rs b/src/libsyntax/diagnostic.rs
index 4b5ab2fbb56..7f659a765ad 100644
--- a/src/libsyntax/diagnostic.rs
+++ b/src/libsyntax/diagnostic.rs
@@ -15,6 +15,9 @@
 use std::local_data;
 use extra::term;
 
+static BUG_REPORT_URL: &'static str =
+    "https://github.com/mozilla/rust/wiki/HOWTO-submit-a-Rust-bug-report";
+
 pub trait Emitter {
     fn emit(&self,
             cmsp: Option<(@codemap::CodeMap, Span)>,
@@ -143,7 +146,8 @@ fn emit(@mut self,
 }
 
 pub fn ice_msg(msg: &str) -> ~str {
-    format!("internal compiler error: {}", msg)
+    format!("internal compiler error: {}\nThis message reflects a bug in the Rust compiler. \
+            \nWe would appreciate a bug report: {}", msg, BUG_REPORT_URL)
 }
 
 pub fn mk_span_handler(handler: @mut handler, cm: @codemap::CodeMap)