http://smallcultfollowing.com/babysteps/blog/2018/10/31/mir-based-borrowck-is-almost-here/ http://smallcultfollowing.com/babysteps/blog/2018/11/01/after-nll-interprocedural-conflicts/