{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
/// This means that placeholder types are not considered to unify if there are any bounds set on
///
/// them. For example `Option<T>` and `Option<U>` do not unify as we cannot show that `T = U`